Cantitate/Preț
Produs

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

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: 9783031906527
ISBN-10: 3031906527
Pagini: 408
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.62 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science