Hoppa till sidans huvudinnehåll

Mattias Ulbrich – författare

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

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

AvWolfgang Ahrendt,Bernhard Beckertm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich - Deductive Software Verification – The KeY Book, Häftad
Del 10001 - Lecture Notes in Computer Science

Deductive Software Verification – The KeY Book

From Theory to Practice

AvWolfgang Ahrendt,Bernhard Beckertm. fl.

Häftad, Engelska, 2016

1 729 kr

Skickas inom 10-15 vardagar