Del 15054
Automated Technology for Verification and Analysis
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Häftad
1 849 kr
Del 15055 i serien Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Häftad, Engelska, 2025
2 149 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2025-02-12
- Mått155 x 235 x 17 mm
- Vikt458 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor276
- FörlagSpringer International Publishing AG
- ISBN9783031787492
- OriginaltitelAutomated Technology for Verification and Analysis
Tillhör följande 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
579 kr
Del 15055
Del 15529
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
Häftad
939 kr
Del 13993
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad
579 kr
Del 9268
Del 15530
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
Häftad
939 kr
- Signerad
Del 1
Del 1
- Nyhet