Mattias Ulbrich | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

Deductive Software Verification – The KeY Book - From Theory to Practice

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer International Publishing AG
2016
Pehmeäkantinen kirja

137,20 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

58,10 €