- 10% rabatt på allt
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf
AvSriram Sankaranarayanan,Natasha Sharygina
Engelska, 2023
672 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 13994
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
459 kr
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf
Sriram Sankaranarayanan, Natasha Sharygina
672 kr
Del 13993
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
459 kr
Del 13124
Software Verification
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
Häftad, 2022
629 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
571 kr
Validation of Evolving Software
Natasha Sharygina, Leonardo Mariani, Daniel Kroening, Hana Chockler
E-bok
2015739 kr