Richard Bubel - Böcker
Visar alla böcker från författaren Richard Bubel.
3 produkter
3 produkter
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 10-15 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 10-15 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 739 kr
Skickas inom 10-15 vardagar