Marco Bernardo & Alessandro Cimatti 
Formal Methods for Hardware Verification [PDF ebook] 
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

समर्थन
€57.99
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783540343059 ● संपादक Marco Bernardo & Alessandro Cimatti ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2006 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6316917 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

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

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