Hoppa till sidans huvudinnehåll

Wolfgang Ahrendt - Böcker

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

Integrated Formal Methods

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

AvWolfgang Ahrendt,Silvia Lizeth Tapia Tarifa

Häftad, Engelska, 2019

719 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

AvWolfgang Ahrendt,Heike Wehrheim

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

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 399 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 709 kr

Skickas inom 10-15 vardagar