Placeholder text

Go to cart

Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science)

By Marino Miculan

Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science) Computer Science

Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science)

0 - Default Title
Product details
Binding:
Paperback
Number of Pages:
202
Release Date:
2008-05-01
Publication Date:
2008-05-01
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Languages:
Published: English, Original: English
ISBN10:
3540681035
Buy on Amazon
Currently sold out