Formal Verification Of Objectoriented Software International Conference Revised Selected PapersBernhard Beckert

Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

Bernhard Beckert · 2012

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2012
הוצאה: Springer
מהדורות: 1
ISBN: 9783642317613

מקור הנתונים: 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

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