Formal specification : techniques and applications
Material type: TextPublication details: Springer Verlag 1999 Description: 295Subject(s): Formal methods (Computer science) | Application software --DevelopmentItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 005.131 NIS(FOR) (Browse shelf(Opens below)) | 1 | Available | 5140 |
Total holds: 0
MC/1/0251/08-09/21-07-08
There are no comments on this title.