Richard Bubel - Böcker

Visar alla böcker från författaren Richard Bubel.

3 produkter

Kategorier

3 produkter

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2022

1 429 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2016

1 739 kr

Skickas inom 10-15 vardagar