Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Book 1158, (Paperback)

Name: Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Book 1158, (Paperback)
Brand: Stefano Berardi
SKU: prod_e6479010fe5666b9eda2f824
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Book 1158, (Paperback) Author: Springer ISBN: 9783540617808 Format: Paperback Publication Date: 1996-10-02 Page Count: 298

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Book 1158, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Book 1158, (Paperback)—

$118.00