Del 15055
Automated Technology for Verification and Analysis
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Häftad
1 646 kr
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Häftad, Engelska, 2025
Del 15054 i serien Lecture Notes in Computer Science
1 421 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions.
Produktinformation
Utforska kategorier
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
442 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
631 kr
Del 15529
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
Häftad
717 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
653 kr
Del 13993
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad
442 kr
Del 9268
Del 15530
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
Häftad
717 kr
- Signerad!
- -30%