Κανονική προβολή Προβολή MARC Προβολή ISBD

Formal hardware verification : methods and systems in comparison / Thomas Kropf, ed. - Berlin ; New York : Springer, c1997. - xii, 367 σ. : εικ. ; 24 εκ. - Lecture notes in computer science 1287. 0302-9743 . - Lecture notes in computer science (Springer-Verlag) 1287 .

Περιλαμβάνει βιβλιογραφικές παραπομπές.

ISBN: 3540634754

LCCN: 97036126

Subjects--Topical Terms:
Ολοκληρωμένα κυκλώματα --Ολοκλήρωση πολύ μεγάλης κλίμακας--Σχέδιο και κατασκευή.

Dewey Class. No.: 621.395