Computer aided verificationThomas Ball
Computer aided verification
Thomas Ball, Jones, Robert B. · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 564
- ISBN
- 9783540374060
Data source: Wikidata
More by Thomas Ball
My Threescore Years and Ten. an AutobiographyThomas Ball
My Threescore Years and Ten. an Autobiography
Thomas Ball · 2018
My Fourscore YearsThomas Ball
My Fourscore Years
Thomas Ball · 1994
Ethical Philosophy of Anselm of Canterbury from the Temporal to the EternalThomas Ball
Ethical Philosophy of Anselm of Canterbury from the Temporal to the Eternal
Thomas Ball · 2023
Smiley and the Talent ShowThomas Ball
Smiley and the Talent Show
Thomas Ball · 2022
Here Comes SmileyThomas Ball
Here Comes Smiley
Thomas Ball · 2022
My Threescore Years and TenThomas Ball
My Threescore Years and Ten
Thomas Ball · 2018
Sketch of Handel and BeethovenThomas Ball
Sketch of Handel and Beethoven
Thomas Ball · 2014
Model Checking SoftwareThomas Ball
Model Checking Software
Thomas Ball · 2003
Instructor's resource guideThomas Ball
Instructor's resource guide
Thomas Ball · 1989