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 |
Browsing DAIICT Shelves Close shelf browser
| 005.133 SPA Instant Perl modules | 005.133 SPA Instant Perl modules | 005.133 SPE Java persistence for relational databases | 005.133 SPI Understanding Z : a specification language and its formal semantics | 005.133 SPI Pro J2EE 1.4 : from professional to expert | 005.133 STA Information systems programming with Java | 005.133 STA Java and the Java virtual machine : definition, verification, validation |
There are no comments for this item.