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

avaa valikko

K Rustan M Leino | Booky.fi

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



Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL,
Jobstmann, Barbara; Leino, K. Rustan M.
Springer
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Program Proofs
Leino, K. Rustan M.; Leino, Kaleb
MIT Press Ltd
2023
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tuotteen saatavuus varmistetaan tilauskohtaisesti. Voit jättää tilauksen, niin tarkistamme saatavuuden tavarantoimittajilta. Jos tuotetta ei ole saatavissa, olemme sinuun yhteydessä ja perumme tilauksesi.
Program Proofs
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
132,70 €
Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part
Abdulla, Parosh Aziz; Leino, K. Rustan M.
Springer
2011
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Silva, Alexandra; Leino, K. Rustan M.
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Silva, Alexandra; Leino, K. Rustan M.
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €