Mattias Ulbrich - Böcker

Visar alla böcker från författaren Mattias Ulbrich.
2 produkter
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle - Deductive Software Verification: Future Perspectives, Häftad

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
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle - Deductive Software Verification – The KeY Book, Häftad

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