|
|

avaa valikko

K Rustan M Leino | Akateeminen Kirjakauppa

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



Program Proofs
Leino, K. Rustan M.; Leino, Kaleb
MIT Press Ltd
2023
Pehmeäkantinen kirja
Program Proofs
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
85,50 €
Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of t
Abdulla, Parosh Aziz; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
Jobstmann, Barbara; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
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
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
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 €