Verification techniques for system-level design /

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