Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Stavridou, Victoria

 
9780521443364: Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science)
Hardcover
ISBN 10: 0521443369 ISBN 13: 9780521443364
Verlag: Cambridge University Press, 1993

Inhaltsangabe

Graduate level account of hardware verification and algebraic specification.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
0521443369
ISBN 13 
9780521443364
Einband
Gebundene Ausgabe
Anzahl der Seiten
207
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich