Current trends in hardware verification and automated theorem proving /

Current trends in hardware verification and automated theorem proving /

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format: Buch
Sprache:English
Veröffentlicht: New York : Springer-Verlag, c1989.
Schlagworte:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.

CARM 1 Store

Bestandesangaben von CARM 1 Store
Signatur: A2:AJ21E0 C04632
Exemplar 1 Verfügbar  Bestellen

Ähnliche Einträge