Rajeev Alur & Doron A. Peled 
Computer Aided Verification [PDF ebook] 
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

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

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

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