Cantitate/Preț
Produs

Tools and Algorithms for the Construction and Analysis of Systems: Lecture Notes in Computer Science, cartea 15696

Editat de Arie Gurfinkel, Marijn Heule
en Limba Engleză Paperback – mai 2025

Din seria Lecture Notes in Computer Science

Carte tipărită la comandă

Livrare economică 05-11 iunie


Specificații

ISBN-13: 9783031906428
ISBN-10: 303190642X
Pagini: 428
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science