Wolfgang Ahrendt – författare
Visar alla böcker från författaren Wolfgang Ahrendt.
5 produkter
5 produkter
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 12345 - Lecture Notes in Computer Science
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2022
1 449 kr
Skickas inom 10-15 vardagar
Del 10001 - Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
Häftad, Engelska, 2016
1 739 kr
Skickas inom 10-15 vardagar