Z : an introduction to formal methods /
By: Diller, Antoni
Material type:
BookPublisher: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994.Edition: 2nd ed.Description: xix, 374 p. : ill ; 25 cm.ISBN: 0471939730 :Program: CSCI325Subject(s): Z (Computer program language) | Formal methods (Computer science)DDC classification: 005.1/2 Online resources: Location Map
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| REGULAR | University of Wollongong in Dubai Main Collection | 005.133 DI ZA (Browse shelf) | Available | T0026398 | ||
| REGULAR | University of Wollongong in Dubai Main Collection | 005.133 DI ZA (Browse shelf) | Available | T0026399 |
Total holds: 0
, Shelving location: Main Collection Close shelf browser
|
|
|
|
|
|
|
||
| 005.133 DE VI Visual C# 2012 : | 005.133 DE VI Visual basic 2012 : | 005.133 DI IN Introduction to Computer Science using Python : | 005.133 DI ZA Z : | 005.133 DI ZA Z : | 005.133 DO CS C# programming : | 005.133 DO CS C# programming : |
Includes bibliographical references (p. 357-362) and index.
CSCI325