Wolfgang Ahrendt – författare
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
Av Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Häftad, 2019
739 kr
Lägg i varukorg
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, 2020
739 kr
Lägg i varukorg
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2020
739 kr
Lägg i varukorg
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, 2022
1469 kr
Lägg i varukorg
Deductive Software Verification – The KeY Book
From Theory to Practice
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2016
1759 kr
Lägg i varukorg