Thorsten Altenkirch & Conor McBride 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

समर्थन
€58.04
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783540744641 ● संपादक Thorsten Altenkirch & Conor McBride ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2007 ● डाउनलोड करने योग्य 6 बार ● मुद्रा EUR ● आईडी 6377276 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

एक ही लेखक से अधिक ईबुक / संपादक

16,820 इस श्रेणी में ईबुक