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ț: 38731 lei

Preț vechi: 48414 lei
-20%

Puncte Express: 581

Preț estimativ în valută:
6857 7984$ 5957£

Carte tipărită la comandă

Livrare economică 20-26 februarie

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