Cantitate/Preț
Produs

Computer Aided Verification: Lecture Notes in Computer Science

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

Din seria Lecture Notes in Computer Science

Carte tipărită la comandă

Livrare economică 19 iunie-03 iulie


Specificații

ISBN-13: 9783031986819
ISBN-10: 3031986814
Pagini: 460
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.64 kg
Editura: Springer
Seria Lecture Notes in Computer Science