Computer aided verificationThomas Ball
Computer aided verification
Thomas Ball, Jones, Robert B. · 2006
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 3
- עמודים
- 564
- ISBN
- 9783540374060
מקור הנתונים: Wikidata
עוד של 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