Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Types for proofs and programs : selected papers / International Workshop, TYPES 2002; eds. Herman Geuvers, Freek Wiedijk

Corporate Author (Main) International Workshop TYPES 2002, Berg en Dal, 2002 Secondary Author Geuvers, Herman, 1964-
Wiedijk, Freek Country Alemanha. Publication Berlin : Springer, cop. 2003 Description VIII, 330 p. ; 24 cm Series Lecture notes in computer science , 2646 , 0302-9743 ISBN 3-540-14031-X 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 109355 Available 365277
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.