Computer Aided Verification
by Kousha Etessami, Sriram K. Rajamani
Published
2005
Publisher
Springer London, Limited
ISBN-13
9783540316862
You May Also Like
Op-amps and linear integrated circuits
Op-amps and linear integrated circuits
Open Circuits
Open Circuits
Introduction to digital systems
Introduction to digital systems
Digital signal processing
Digital signal processing
Digital circuits and logic design
Digital circuits and logic design
Digital circuit testing and testability
Digital circuit testing and testability
Frequently Asked Questions
Who is the author of Computer Aided Verification?
Computer Aided Verification was written by Kousha Etessami, Sriram K. Rajamani.
When was Computer Aided Verification published?
The publication date for this specific edition is 2005. The original work may have been published on a different date.