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.
Beschreibung
Beschreibung:viii, 489 p. : ill. ; 25 cm.
Bibliographie:Includes bibliographical references and index.
ISBN:0387969888 (alk. paper)
3540969888

Ähnliche Einträge