आवर्धक लेंस
लोडर खोजें

Byron Cook & Paul Jackson 
Computer Aided Verification 
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

समर्थन
€111.68
भुगतान की विधि
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783642142956 ● संपादक Byron Cook & Paul Jackson ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2010 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6321406 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

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

3,562 इस श्रेणी में ईबुक