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


Specificații

ISBN-13: 9783031986840
ISBN-10: 3031986849
Pagini: 448
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Editura: Springer
Seria Lecture Notes in Computer Science