Scalable Techniques for Formal Verification

• Κύριος συγγραφέας: Ray, Sandip
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA Springer Science+Business Media, LLC 2010
• Θέματα: Engineering; Computer aided design; Systems engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design