Z : an introduction to formal methods /
By: Diller, Antoni
Material type:![](/opac-tmpl/lib/famfamfam/BK.png)
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
Includes bibliographical references (p. 357-362) and index.
CSCI325