Wolfgang Ahrendt - Böcker
Visar alla böcker från författaren Wolfgang Ahrendt.
5 produkter
5 produkter
Häftad, Engelska, 2019
739 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2020
739 kr
Skickas inom 7-10 vardagar
Deductive Software Verification: Future Perspectives
Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle
Häftad, Engelska, 2020
739 kr
Skickas inom 7-10 vardagar
Del 13360 - Lecture Notes in Computer Science
Logic of Software. A Tasting Menu of Formal Methods
Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad, Engelska, 2022
1 439 kr
Skickas inom 7-10 vardagar
Deductive Software Verification – The KeY Book
Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle
Häftad, Engelska, 2016
1 749 kr
Skickas inom 7-10 vardagar