Formal hardware verification : methods and systems in comparison /

• Άλλοι συγγραφείς: Kropf, Thomas, 1961- (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer, c1997.
• Σειρά: Lecture notes in computer science (Springer-Verlag) 1287
• Θέματα: Ολοκληρωμένα κυκλώματα > Ολοκλήρωση πολύ μεγάλης κλίμακας > Σχέδιο και κατασκευή.
• Φυσική περιγραφή: xii, 367 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 3540634754
• ISSN: 0302-9743