Introduction to formal specification and Z
Language: English Series: Publication details: ; New York : Prentice-Hall, 1991 ; 1991Edition: Description: xiii,304 p; 23.5 cmISBN: 0-13-478702-112Subject(s): | Z (Computer program language)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3.06 Pot | Available | G55B19 | 176109 |
Total holds: 0
There are no comments on this title.