Tests and ProofsBernhard Beckert
Tests and Proofs
Bernhard Beckert, Reiner Hähnle · 2008
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2008
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540791249
מקור הנתונים: Wikidata
עוד של Bernhard Beckert
Formal Methods for Components and ObjectsBernhard Beckert
Formal Methods for Components and Objects
Bernhard Beckert · 2013
Formal Verification of Object-Oriented SoftwareBernhard Beckert
Formal Verification of Object-Oriented Software
Bernhard Beckert · 2012
Formal Verification of Object-Oriented SoftwareBernhard Beckert
Formal Verification of Object-Oriented Software
Bernhard Beckert · 2011
Verification of object-oriented softwareBernhard Beckert
Verification of object-oriented software
Bernhard Beckert · 2007
Automated Reasoning with Analytic Tableaux and Related MethodsBernhard Beckert
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert · 2005
Formal Verification Of Objectoriented Software International Conference Revised Selected PapersBernhard Beckert
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Bernhard Beckert · 2012
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007