| |

avaa valikko

Shuvendu K Lahiri | Akateeminen Kirjakauppa

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

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part

Lahiri, Shuvendu K.; Wang, Chao
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part

41,20 €

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October

Lahiri, Shuvendu K.; Wang, Chao
Springer
2018
Pehmeäkantinen kirja

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October

51,10 €

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part

Lahiri, Shuvendu K.; Wang, Chao
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part

41,20 €