A Roadmap for Formal Property Verification

• Κύριος συγγραφέας: DasGupta, Pallab
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht Springer 2006
• Θέματα: Engineering; Computer engineering; Electronics; Logic design; Computer science; Computer aided design; Systems engineering; Electronic and Computer Engineering; Electronics and Microelectronics, Instrumentation; Logic Design; Mathematical Logic and Formal Languages; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems