Z : an introduction to formal methods / Antoni Diller.
Material type: TextPublication details: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994.Edition: 2nd edDescription: xix, 374 p. : ill ; 25 cmISBN:- 0471939730 :
- 005.1/2
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
REGULAR | University of Wollongong in Dubai Main Collection | 005.133 DI ZA (Browse shelf(Opens below)) | Available | T0026398 | ||
REGULAR | University of Wollongong in Dubai Main Collection | 005.133 DI ZA (Browse shelf(Opens below)) | Available | T0026399 |
Includes bibliographical references (p. 357-362) and index.
CSCI325
There are no comments on this title.
Log in to your account to post a comment.