|
|

avaa valikko

deductiveverification | Akateeminen Kirjakauppa

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



Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €