Cantitate/Preț
Produs

Computer Aided Verification: Lecture Notes in Computer Science

Editat de Ruzica Piskac, Zvonimir Rakamari¿
en Limba Engleză Paperback – 22 iul 2025

Din seria Lecture Notes in Computer Science

Carte tipărită la comandă

Livrare economică 18 iunie-02 iulie


Specificații

ISBN-13: 9783031986789
ISBN-10: 3031986784
Pagini: 452
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.68 kg
Editura: Springer
Seria Lecture Notes in Computer Science