Search Results
Showing Item 59 of 330
PreviousNext
Scalable Techniques for Formal Verification
E-book
Electronic resources
Record details
- ISBN: 9781441959980
-
Physical Description:
electronic
electronic resource
access
remote
XIV, 240p. online resource. - Publisher: Boston, MA : Springer US : 2010.
Search for related items by subject
Subject: | Engineering Computer aided design Systems engineering Engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design |
Search Results
Showing Item 59 of 330
PreviousNext