Current trends in hardware verification and automated theorem proving /

Current trends in hardware verification and automated theorem proving /

Gorde:
Xehetasun bibliografikoak
Beste egile batzuk: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Formatua: Liburua
Hizkuntza:English
Argitaratua: New York : Springer-Verlag, c1989.
Gaiak:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.

CARM 1 Store

Aleari buruzko argibideak CARM 1 Store
Sailkapena: A2:AJ21E0 C04632
Alea 1 Eskuragarri  Erreserbatu

Antzeko izenburuak