Verification techniques for system-level design /

• Κύριος συγγραφέας: Fujita, Masahiro, 1956- (συγγραφέας.)
• Άλλοι συγγραφείς: Ghosh, Indradeep, 1970- (συγγραφέας.), Prasad, Mukul (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
• Θέματα: Ολοκληρωμένα κυκλώματα; Σχεδιασμός συστημάτων; Τυπικές μέθοδοι (Επιστήμη των υπολογιστών)