Hubert Garavel & John Hatcliff 
Tools and Algorithms for the Construction and Analysis of Systems [PDF ebook] 
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

समर्थन
€113.93
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783540365778 ● संपादक Hubert Garavel & John Hatcliff ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2003 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6317348 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

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

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