Koha online catalog › ISBD view

Normal view MARC view ISBD view

Kropf, Thomas

Introduction to Formal Hardware Verification - New York: Springer-Verlag, 1999 - 299 p.; Illus. Index: 23 cm.

ISBN: 3540654453 (hbk)

Subjects--Topical Terms:
Boolean Functions
Circuit Design
Formal Hardware Verification
Higher-Order Logics
Modeling

Dewey Class. No.: 621.392 / KRO

Print
Save record
More searches