Wolfgang Ahrendt - Böcker
Visar alla böcker från författaren Wolfgang Ahrendt.
5 produkter
5 produkter
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Häftad, Engelska, 2019
719 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
719 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
719 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 429 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 709 kr
Skickas inom 10-15 vardagar