Types for proofs and programs / Gimenez,Eduardo.
Material type:
TextLanguage: English Series: Lecture notes in computer science,No-1512Publication details: Berlin: Springer, 1998. Edition: International WorkshDescription: viii,372p;26cmISBN: 3540651373DDC classification: 005.3 GIM
| Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Reference Books
|
Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 005.3 GIM (Browse shelf(Opens below)) | Not for loan | 11655 |
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)
| No cover image available | ||||||||
| 005.133 TAF Ada 95 reference manual / | 005.13303 RAD Encyclopedia C / | 005.3 APO Combinatorial pattern matching / | 005.3 GIM Types for proofs and programs / | 005.3 ROB Self-adaptive software / | 005.3 ROS The handbook of software for engineers and scientists / | 005.43 BAC The design of the Unix operating system / |
Includes bibliographical references.
There are no comments on this title.