Verification of object-oriented softwareBernhard Beckert
Verification of object-oriented software
Bernhard Beckert · 2007
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 658
- ISBN
- 9783540689775
מקור הנתונים: 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
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
Tests and ProofsBernhard Beckert
Tests and Proofs
Bernhard Beckert · 2008
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007