Cantitate/Preț
Produs

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

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ă 04-10 iunie


Specificații

ISBN-13: 9783031906596
ISBN-10: 3031906594
Pagini: 292
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science