Mattias Ulbrich - Böcker

Visar alla böcker från författaren Mattias Ulbrich.

2 produkter

Kategorier

2 produkter

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2016

1 729 kr

Skickas inom 10-15 vardagar