Francesco Logozzo & Doron A. Peled 
Verification, Model Checking, and Abstract Interpretation [PDF ebook] 
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

समर्थन
€57.35
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783540781639 ● संपादक Francesco Logozzo & Doron A. Peled ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2008 ● डाउनलोड करने योग्य 6 बार ● मुद्रा EUR ● आईडी 6377374 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

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

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