Verification techniques for system-level design /

• Main Author: Fujita, Masahiro, 1956- (συγγραφέας.)
• Other Authors: Ghosh, Indradeep, 1970- (συγγραφέας.), Prasad, Mukul (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
• Subjects: Ολοκληρωμένα κυκλώματα; Σχεδιασμός συστημάτων; Τυπικές μέθοδοι (Επιστήμη των υπολογιστών)
• Physical Description: viii, 240 σ. : πίν., σχ. ; 25 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 9780123706164