Understanding Z : A Specification Language and its Formal Semantics /
Series: Cambridge Tracts in Theoretical Computer Science seriesPublication details: New York: Cambridge University Press, 1988.Description: viii, 131p 20.5 x 27.5 cmISBN:- 0521334292
- 005.133 SPI-U
Item type | Current library | Collection | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
Air University Multan Campus Library | Computer Science | 005.133 SPI-U (Browse shelf(Opens below)) | Available | P005064 |
Browsing Air University Multan Campus Library shelves,Collection: Computer Science Close shelf browser (Hides shelf browser)
![]() |
![]() |
No cover image available |
![]() |
![]() |
![]() |
![]() |
||
005.133 SHA Microsoft® Visual C#® 2010 Step by Step | 005.133 SIL Operating system concepts with java / | 005.133 SIL-C Clean Code Principles and Patterns | 005.133 SPI-U Understanding Z : A Specification Language and its Formal Semantics / | 005.133 TON-S Starting Out with Python / | 005.133 ULL C++ Programming | 005.14 FOW-R Refactoring: Improving the Design of Existing Code |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.