Cantitate/Preț
Produs

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings: Lecture Notes in Computer Science, cartea 13182

Editat de Bernd Finkbeiner, Thomas Wies
en Limba Engleză Paperback – 14 ian 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 57001 lei

Preț vechi: 71252 lei
-20% Nou

Puncte Express: 855

Preț estimativ în valută:
10911 11731$ 9096£

Carte tipărită la comandă

Livrare economică 20 decembrie 24 - 03 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030945824
ISBN-10: 3030945820
Pagini: 520
Ilustrații: X, 520 p. 154 illus., 80 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.74 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland