Search Results
Showing Item 4 of 123
PreviousNext
SAT-Based Scalable Formal Verification Solutions
E-book
Electronic resources
Record details
- ISBN: 9780387691671
-
Physical Description:
electronic
electronic resource
access
remote
XXIX, 326 p. online resource. - Publisher: Boston, MA : Springer US, 2007.
Search for related items by subject
Subject: | Computer science Computer aided design Computer engineering Systems engineering Computer Science Computer-Aided Engineering (CAD, CAE) and Design Circuits and Systems Electrical Engineering |
Search for related items by series
Search Results
Showing Item 4 of 123
PreviousNext