|
|

avaa valikko

Natasha Sharygina | Akateeminen Kirjakauppa

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



Sharygina, Natasha; Veith, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer
2015
Kovakantinen kirja
Validation of Evolving Software
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer
2016
Pehmeäkantinen kirja
Validation of Evolving Software
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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 €
Sankaranarayanan, Sriram; Sharygina, Natasha
Springer
2023
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Sankaranarayanan, Sriram; Sharygina, Natasha
Springer
2023
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €