Del 13994
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad
440 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
653 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
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
631 kr
Del 13993
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad
440 kr
Del 13124
Del 15055
Automated Technology for Verification and Analysis
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Häftad
1 637 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad
550 kr
Del 9268
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden
550 kr
Del 15530
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
Häftad
713 kr