Wolfgang Ahrendt – författare

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
AvWolfgang Ahrendt,Silvia Lizeth Tapia Tarifa
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 12165
Del 12165 - Lecture Notes in Computer Science
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
729 kr
Skickas inom 10-15 vardagar
Del 12345
Del 12345 - Lecture Notes in Computer Science
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
AvWolfgang Ahrendt,Bernhard Beckertm. fl.
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 13360
Del 13360 - Lecture Notes in Computer Science
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 Beckertm. fl.
Häftad, Engelska, 2022
1 459 kr
Skickas inom 10-15 vardagar
Del 10001
Del 10001 - Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
AvWolfgang Ahrendt,Bernhard Beckertm. fl.
Häftad, Engelska, 2016
1 739 kr
Skickas inom 10-15 vardagar