Software development with Z : a practical approach to formal methods in software engineering /
By: Wordsworth, J.B
Material type:
BookPublisher: Harlow, Essex : Addison-Wesley Longman, 1992.Description: xii, 334 p. : ill ; 24 cm.ISBN: 0201627574Program: CSCI325Subject(s): Z (Computer program language) | Computer software -- Development | Formal methods (Computer science)DDC classification: 005.12 WO SO 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.12 WO SO (Browse shelf) | Available | T0011869 | ||
| REGULAR | University of Wollongong in Dubai Main Collection | 005.12 WO SO (Browse shelf) | Checked out | 05/29/2013 | T0013699 |
Total holds: 0
, Shelving location: Main Collection Close shelf browser
|
|
|
|
|
|
|
||
| 005.12 SU RA Rapid GUI programming with Python and Qt : | 005.12 TA SO Software architecture : | 005.12 WO SO Software development with Z : | 005.12 WO SO Software development with Z : | 005.123 FO IN Information systems reengineering, integration and normalization | 005.13 DE CO The complete C++ training course CD-Rom 1& 2 / | 005.13 DO PR Principles of programming languages / |
Includes bibliographical references (p. 321-324) and index.
CSCI325