Automated Technology for Verification and Analysis de S. Akshay

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

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

Toate formatele și edițiile

	Preț	Express
Paperback (2)	833^.04 lei 38-44 zile
Springer – feb 2025	833^.04 lei 38-44 zile
Springer – 12 feb 2025	952^.61 lei 38-44 zile

Din seria Lecture Notes in Computer Science

Preț: 952^.61 lei

Preț vechi: 1190^.76 lei
-20%

Puncte Express: 1429

:
168^.45€ • 193^.16$ • 145^.58£

Carte tipărită la comandă

Livrare economică 23-29 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783031787492
ISBN-10: 3031787498
Pagini: 300
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science