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