Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

deductiveverification | Booky.fi

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
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €