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ț: 32443 lei

Preț vechi: 40554 lei
-20%

Puncte Express: 487

Preț estimativ în valută:
5744 6688$ 4990£

Carte tipărită la comandă

Livrare economică 19-25 februarie

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