Mattias Ulbrich - Böcker
Visar alla böcker från författaren Mattias Ulbrich.
2 produkter
2 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 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