Cantitate/Preț
Produs

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


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ț: 77188 lei

Preț vechi: 96486 lei
-20% Nou

Puncte Express: 1158

Preț estimativ în valută:
13659 16016$ 11995£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031787089
ISBN-10: 3031787080
Pagini: 304
Dimensiuni: 155 x 235 mm
Editura: Springer International Publishing AG
Seria Lecture Notes in Computer Science