|
|

avaa valikko

Krishna Shankaranarayanan | Akateeminen Kirjakauppa

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



Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Springer
2025
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Shankaranarayanan, Krishna; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Springer
2025
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €