| |

avaa valikko

Isil Dillig | Akateeminen Kirjakauppa

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

Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, Jan

Dillig, Isil; Palsberg, Jens
Springer International Publishing AG
2018
Pehmeäkantinen kirja

Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, Jan

51,10 €

Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Pa

Dillig, Isil; Tasiran, Serdar
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Pa

51,10 €

Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Pa

Dillig, Isil; Tasiran, Serdar
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Pa

51,10 €