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

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2020

719 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

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2022

1 389 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2016

1 699 kr

Skickas inom 10-15 vardagar