Understanding Z : a specification language and its formal semantics
By: Spivey, J. M.
Material type:
BookSeries: Cambridge tracts in theoretical computer science.Publisher: New York: Cambridge University Press, 1988Description: viii, 131 p.; ill.: 25 cm.ISBN: 0521054141 .Subject(s): Programming languages (Electronic computers) -- Semantics | Z (Computer program language)DDC classification: 005.133
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.133 SPI (Browse shelf) | Available | 019781 |
There are no comments for this item.