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![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
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.