Current trends in hardware verification and automated theorem proving /

Current trends in hardware verification and automated theorem proving /

Spremljeno u:
Bibliografski detalji
Daljnji autori: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format: Knjiga
Jezik:English
Izdano: New York : Springer-Verlag, c1989.
Teme:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.

CARM 1 Store

Detalji primjeraka od CARM 1 Store
Signatura: A2:AJ21E0 C04632
Primjerak 1 Dostupno  Postavi narudžbu

Similar Items