Current trends in hardware verification and automated theorem proving /

Current trends in hardware verification and automated theorem proving /

Uloženo v:
Podrobná bibliografie
Další autoři: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Médium: Kniha
Jazyk:English
Vydáno: New York : Springer-Verlag, c1989.
Témata:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.

CARM 1 Store

Informace o exemplářích z: CARM 1 Store
Signatura: A2:AJ21E0 C04632
Jednotka 1 Dostupné  Požadavek

Podobné jednotky