Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science)

by Ferruccio Damiani (Author), Mario Coppo (Author), Ferruccio Damiani (Author), Stefano Berardi (Author)

New
Paperback
2008
$91.78

$91.78

Save:$6.81 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 424
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540221646
ISBN 13: 9783540221647

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science)

New

$91.78

$91.78

More Information