Model Checking Software
Published
2012
Publisher
Springer Berlin Heidelberg
ISBN-13
9783642317590
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 Alastair Donaldson.
When was Model Checking Software published?
The publication date for this specific edition is 2012. The original work may have been published on a different date.