Cantitate/Preț
Produs

Verification, Model Checking, and Abstract Interpretation: Lecture Notes in Computer Science

Editat de Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi
en Limba Engleză Paperback – 23 ian 2025

Din seria Lecture Notes in Computer Science

Preț: 38759 lei

Preț vechi: 48448 lei
-20% Nou

Puncte Express: 581

Preț estimativ în valută:
6859 8042$ 6023£

Carte tipărită la comandă

Livrare economică 30 ianuarie-05 februarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031827020
ISBN-10: 3031827023
Pagini: 268
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Editura: Springer Nature Switzerland
Seria Lecture Notes in Computer Science