Image from Amazon.com
Understanding Z : a specification language and its formal semantics / J.M. Spivey
Material type:
TextSeries: Cambridge tracts in theoretical computer science ; 3Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 2008Description: viii, 131 p. ; 26 cmISBN: - 9780521054140 (pbk.)
- 0521054141 (pbk.)
- 0521334292 (hbk.)
- 9780521334297 (hbk.)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.73.Z2 S65 2008 (Browse shelf(Opens below)) | 1 | Available | 0000042515 |
Includes bibliographical references (p. [119]-122) and index