Gary T. Leavens & Peter O’Hearn 
Verified Software: Theories, Tools, Experiments [PDF ebook] 
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

समर्थन
€57.64
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783642150579 ● संपादक Gary T. Leavens & Peter O’Hearn ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2010 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6321487 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

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

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