Formal specification and software development Bjorner Dines; Jones Cliff B
Material type:
- D65,8(B)92, M2
Item type | Current library | Home library | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
Central Science Library | Central Science Library | D65,8(B)92 M2 (Browse shelf(Opens below)) | Available | SL0954722 |
Includes bibliography
There are no comments on this title.
Log in to your account to post a comment.