Cantitate/Preț
Produs
Total produse
Vezi coșul
Automated Technology for Verification and Analysis de S. Akshay

Automated Technology for Verification and Analysis: Lecture Notes in Computer Science, cartea 15054

Editat de S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
en Limba Engleză Paperback – feb 2025
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 83304 lei

Preț vechi: 104130 lei
-20%

Puncte Express: 1250
Paperback (2) de la 83304 lei

Carte tipărită la comandă

Livrare economică 24-31 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031787089
ISBN-10: 3031787080
Pagini: 324
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science