Richard Bubel

ספרים שבהם Richard Bubel מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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