|
|

avaa valikko

Rayna Dimitrova | Akateeminen Kirjakauppa

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



Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th Internation
Bloem, Roderick; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th Internation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United
Dimitrova, Rayna; Lahav, Ori; Wolff, Sebastian
Springer
2024
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United
Dimitrova, Rayna; Lahav, Ori; Wolff, Sebastian
Springer
2024
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €