Bernhard Beckert
Bernhard Beckert
8 ספרים במאגר
ספרים
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
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007
ספרים משותפים ואוספים
ספרים שבהם Bernhard Beckert מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt · 2022
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt · 2020
Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt · 2017