Formal Specification Using Z / David Lightfoot.
Material type: TextSeries: Publication details: Basingstoke : Palgrave, 2001.Edition: 2nd edDescription: xii,164p. ; 25cmISBN:- 0333763270 (pbk.) :
- 005.133 21 LIG
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
NB - Book (Non borrowing) | Central Library Lower Floor | Baccah | 005.133 LIG (Browse shelf(Opens below)) | Not for loan | 000026308 | ||
Book - Borrowing | Central Library Lower Floor | Baccah | 005.133 LIG (Browse shelf(Opens below)) | Available | 000026309 | ||
Book - Borrowing | Central Library Lower Floor | Baccah | 005.133 LIG (Browse shelf(Opens below)) | Available | 000026310 | ||
Book - Borrowing | Central Library Lower Floor | Baccah | 005.133 LIG (Browse shelf(Opens below)) | Available | 000026312 | ||
Book - Borrowing | Central Library Lower Floor | Baccah | 005.133 LIG (Browse shelf(Opens below)) | Available | 000026311 |
Total holds: 0
Browsing Central Library shelves, Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.133 LIG Formal Specification Using Z / | 005.133 LIG Formal Specification Using Z / | 005.133 LIG Formal Specification Using Z / | 005.133 LIG Formal Specification Using Z / | 005.133 LII Beginning J2ME : from novice to professional / | 005.133 LUG AI algorithms, data structures, and idioms in Prolog, Lisp, and Java / | 005.133 LUG AI algorithms, data structures, and idioms in Prolog, Lisp, and Java / |
Previous ed.: Basingstoke : Macmillan, 1991.
Includes index.
There are no comments on this title.