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

Preț vechi: 96410 lei
-20%

Puncte Express: 1157

Preț estimativ în valută:
13653 15858$ 11828£

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