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

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ț: 833^.04 lei

Preț vechi: 1041^.30 lei
-20%

Puncte Express: 1250

:
147^.31€ • 168^.92$ • 127^.31£

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: 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