Formal specification using Z
by
Lightfoot, David, 1951-
Title
:
Formal specification using Z
Author
:
Lightfoot, David, 1951-
ISBN
:
9780333763278
Personal Author
:
Lightfoot, David, 1951-
Edition
:
2nd ed.
Publication Information
:
Basingstoke : Palgrave, 2001.
Physical Description
:
xii, 164 p. ; 25 cm.
Series
:
Grassroots series.
Series Title
:
Grassroots series.
General Note
:
Previous ed.: Basingstoke : Macmillan, 1991.
Subject Term
:
Z (Computer program language)
Computer software -- Development.
Formal methods (Computer science)
| Library | Material Type | Item Barcode | Shelf Number | Copy |
|---|
| 1:IIEMSA | 1:GEN-BOOK | 33168025522778 | 005.133 L724F 2001 | 1 |
| 1:IIEMSA | 1:GEN-BOOK | 33168025522810 | 005.133 L724F 2001 | 2 |
| 1:IIEMSA | 1:GEN-BOOK | 33168025545860 | 005.133 L724F 2001 | 3 |
| 1:IIEMSA | 1:GEN-BOOK | 33168025522851 | 005.133 L724F 2001 | 4 |
| 1:IIEMSA | 1:GEN-BOOK | 33168025545886 | 005.133 L724F 2001 | 5 |