Formal hardware verification : methods and systems in comparison /

• Other Authors: Kropf, Thomas, 1961- (επιμελητής.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer, c1997.
• Series: Lecture notes in computer science (Springer-Verlag) 1287
• Subjects: Ολοκληρωμένα κυκλώματα > Ολοκλήρωση πολύ μεγάλης κλίμακας > Σχέδιο και κατασκευή.