Cantitate/Preț
Produs
Total produse
Vezi coșul
Verified Software. Theories, Tools and Experiments de Jonathan Protzenko

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

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

Preț vechi: 40596 lei
-20%

Puncte Express: 487

Carte tipărită la comandă

Livrare economică 05-11 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

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