Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers: 2277 (Lecture Notes in Computer Science)

by RobertPollack (Author), PaulCallaghan (Author), ZhaohuiLuo (Author), JamesMcKinna (Author)

New
Paperback
2008
$78.17

$78.17

Quantity

10 in stock

More Information

Format: Paperback
Pages: 256
Edition: 2002
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540432876
ISBN 13: 9783540432876

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers: 2277 (Lecture Notes in Computer Science)

New

$78.17

$78.17

More Information