Cantitate/Preț
Produs

Verified Software. Theories, Tools and Experiments: Lecture Notes in Computer Science

Editat de Jonathan Protzenko, Azalea Raad
en Limba Engleză Paperback – 3 mai 2025
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024. The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32465 lei

Preț vechi: 40582 lei
-20% Nou

Puncte Express: 487

Preț estimativ în valută:
5746 6738$ 5038£

Carte tipărită la comandă

Livrare economică 22-28 ianuarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031866944
ISBN-10: 3031866940
Pagini: 132
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Editura: Springer
Seria Lecture Notes in Computer Science