Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Paper, Book 1956, (Paperback)

Name: Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Paper, Book 1956, (Paperback)
Brand: Thierry Coquand
SKU: prod_a968176b34537c929ac16a53
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Paper, Book 1956, (Paperback) Author: Springer ISBN: 9783540415176 Format: Paperback Publication Date: 2000-12-13 Page Count: 202

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Paper, Book 1956, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Paper, Book 1956, (Paperback)—

$118.00