Types for proofs and programs : international workshop TYPES, France, Dec. 15-19, 1996
Language: English Series: Lecture notes in computer science ; v.1512Publication details: Berlin ; Springer ; 1998Edition: Description: viii,373 p; 23.5 cmISBN: 3-540-65137-3Subject(s): | Computer Science and Engineering | Programming(Electronic computers)-Congresses , Logic, Symbolic and matematical-Congresses ,Proof theory-Data processing-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06:517.1Typ:96 | Available | G56A07 | 187702 |
Total holds: 0
There are no comments on this title.