Wolfgang Ahrendt - Böcker

Visar alla böcker från författaren Wolfgang Ahrendt.

5 produkter

Kategorier

5 produkter

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Av Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Av Wolfgang Ahrendt, Heike Wehrheim

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

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 419 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 729 kr

Skickas inom 10-15 vardagar