Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Types for proofs and programs / ed. Peter Dybjer, Bengt Nordstrom, Jan Smith

Secondary Author Dybjer, Peter
Nordstrom, Bengt
Smith, Jan Corporate Author (Secondary) International Workshop TYPES '94, Bastad, 1994 Country Alemanha. Publication Berlin : Springer-Verlag, cop. 1995 Description X, 202 p. ; 24 cm Series Lecture notes in computer science , 996) ISBN 3-540-60579-7 CDU 519.6
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109504 Available 241504
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.