Jean-Christophe Filliatre & Christine Paulin-Mohring 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Support
€57.74
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783540314295 ● Editor Jean-Christophe Filliatre & Christine Paulin-Mohring ● Publisher Springer Berlin Heidelberg ● Published 2006 ● Downloadable 3 times ● Currency EUR ● ID 6375852 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,501 Ebooks in this category