|
|

avaa valikko

Chuchu Fan | Akateeminen Kirjakauppa

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



Formal Methods for Safe Autonomy - Data-driven Verification, Synthesis, and Applications
Chuchu Fan
MP-ACM ACM Books
2024
Kovakantinen kirja
Formal Methods for Safe Autonomy - Data-driven Verification, Synthesis, and Applications
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
72,60 €
Formal Methods for Safe Autonomy - Data-driven Verification, Synthesis, and Applications
Chuchu Fan
MP-ACM ACM Books
2024
Pehmeäkantinen kirja
Formal Methods for Safe Autonomy - Data-driven Verification, Synthesis, and Applications
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
53,60 €
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 €