Model Checking Software
Published
2010
Publisher
Springer Berlin Heidelberg
ISBN-13
9783642161636
Subjects
You May Also Like
The Logic of Scientific Discovery
The Logic of Scientific Discovery
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
How computers work
How computers work
Digital circuits and logic design
Digital circuits and logic design
An engineering approach to digital design
An engineering approach to digital design
Microprocessor logic design
Microprocessor logic design
Frequently Asked Questions
Who is the author of Model Checking Software?
Model Checking Software was written by Jaco van de Pol.
When was Model Checking Software published?
The publication date for this specific edition is 2010. The original work may have been published on a different date.