Cantitate/Preț
Produs

Automated Technology for Verification and Analysis

Editat de S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
en Limba Engleză Paperback – 12 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

Preț: 95225 lei

Preț vechi: 119031 lei
-20%

Puncte Express: 1428

Preț estimativ în valută:
16839 19854$ 14607£

Carte tipărită la comandă

Livrare economică 17-23 martie


Specificații

ISBN-13: 9783031787492
ISBN-10: 3031787498
Pagini: 300
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Editura: Springer