ZB 2000: Formal specication and development in Z and B / Bowen Jonathan P.(ed.) [et..al.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 004 LEC (Browse shelf(Opens below)) | Not for loan | 14407 |
Total holds: 0
Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)
004 LEC Electronic commerce and web technologies / | 004 LEC Advances in pattern recognition / | 004 LEC CONCUR 2000- Concurrency theory / | 004 LEC ZB 2000: Formal specication and development in Z and B / | 004 LEC Algorithms -ESA 2000 / | 004 LEC Algorithms -ESA 2000 / | 004 LEC Advances in crypyology-CRYPTO 2000 / |
Includes bibliographical references.
There are no comments on this title.