Del 15055
Automated Technology for Verification and Analysis
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Häftad
2 109 kr
Del 15054 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 I
Häftad, Engelska, 2025
1 849 kr
Beställningsvara. Skickas inom 7-10 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-01
- Mått155 x 235 x 18 mm
- Vikt493 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor304
- FörlagSpringer International Publishing AG
- ISBN9783031787089
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 15529
Verification, Model Checking, and Abstract Interpretation
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
Häftad
929 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
929 kr
- Nyhet
- Nyhet
- Nyhet
Del 4
- Nyhet