Understanding Z : a specification language and its formal semantics Spivey, J. M.
Series: Cambridge tracts in theoretical computer sciencePublisher: Cambridge University Press, ; 1988Description: viii, 131 pISBN: 0-521-33429-2Subject(s): Programming languages (Electronic computers) -- SemanticsDDC classification: 005.133 S761 1988| Item type | Current location | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
Sibalom | Sibalom MCIR | Main-Circulation | 005.133 S761 1988 (Browse shelf) | Available | UAMAIN 3966 |
Total holds: 0
Browsing Sibalom Shelves , Shelving location: MCIR , Collection code: Main-Circulation Close shelf browser
|
|
|
|
|
|
|
||
| 005.133 P963 2008 Programming and problem solving using C/ | 005.133 S2678 2016 Absolute C++ | 005.133 S4658 2022 Oracle certified professional java SE 17 developer : study guide exam 120-829 | 005.133 S761 1988 Understanding Z : a specification language and its formal semantics | 005.133 S832 2016 C# 24 hour trainer | 005.133 Sa 9p 1991 PASCAL an introduction to the art and science of programming | 005.133 Sa9j 2004 Java : an introduction to computer science & programming |
001 Generalities
There are no comments for this item.