Del 13994
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
448 kr
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
644 kr
Tillfälligt slut
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
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
644 kr
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
448 kr
Del 13124
Software Verification
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
Häftad, 2022
616 kr
Del 15055
Automated Technology for Verification and Analysis
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Häftad, 2025
1 667 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
561 kr
Del 15054
Automated Technology for Verification and Analysis
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Häftad, 2025
1 439 kr
Del 9268
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan, Enrico Vicario
Häftad, 2015
561 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden, 2015
561 kr