Image from Amazon.com
Formal specification using Z /
By: Lightfoot, David E.
Series: Grassroots: Publisher: Basingstoke : Palgrave, 2001Edition: 2nd ed.Description: xii, 164 p. ; 25 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 0333763270; 9780333763278:; 9780333763278.Subject(s): Z (Computer program language) | Computer software -- Development
| Formal methods (Computer science)DDC classification: 005.133 Summary: Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering.
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Standard Loan
|
ATU Sligo Yeats Library Main Lending Collection | 005.133 ZER (Browse shelf(Opens below)) | 1 | Available | M032794 |
Total holds: 0
Includes index.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering.