Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Types for proofs and programs : international workshop TYPES, France, Dec. 15-19, 1996

by | Gimenez, Eduardo | Gimenez, Eduardo.

Series: Lecture notes in computer science ; v.1512Edition: Language: English Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: 1 Call number: 681.3.06:517.1Typ:96.

Place hold Add to cart
Types for proofs and programs (e-book)

by Gimenez, Eduardo.

Series: Lecture Notes in Computer Science (LNCS) ; v.1512Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1998Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha