Be Charmed by These Bewitching Books from 2025

Types for Proofs and Programs > Editions

collapse details

by Herman Geuvers First published 2003

Sort by
Format
Language
Editions
Showing 1-2 of 2
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
Published April 28th 2003 by Springer
2003, Paperback, 680 pages
Author(s):
ISBN:
9783540140313 (ISBN10: 354014031X)
ASIN:
354014031X
Edition language:
English
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Paperback)
Published March 12th 2014 by Springer
Paperback, 344 pages
Author(s):
ISBN:
9783662213414 (ISBN10: 3662213419)
ASIN:
3662213419
Edition language:
English
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page