Teruo Higashino & Kedar Namjoshi 
Automated Technology for Verification and Analysis [PDF ebook] 
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

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

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

74,365 इस श्रेणी में ईबुक