Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Pape, Book 1512, (Paperback)

Name: Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Pape, Book 1512, (Paperback)
Brand: Eduardo Gimenez
SKU: prod_22c793ee10ff0f6e51349962
Price: 121.00 USD
Availability: InStock

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Pape, Book 1512, (Paperback) Author: Springer ISBN: 9783540651376 Format: Paperback Publication Date: 1998-10-07 Page Count: 380

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Pape, Book 1512, (Paperback)—

$121.00

Price unavailable

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Pape, Book 1512, (Paperback)—

$121.00