Types for Proofs and Programs / Geubers, Herman.
Material type: TextLanguage: English Series: Lecture Notes in Computer Science 2646Publication details: New York: Springer, 2003. Description: viii,330p.;25cmISBN: 354014031xDDC classification: 004 GEUItem 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 | 004 GEU (Browse shelf(Opens below)) | Not for loan | 25724 |
Total holds: 0
Includes bibliographical references.
There are no comments on this title.