Cantitate/Preț
Produs

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

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

Din seria Lecture Notes in Computer Science

Preț: 42888 lei

Preț vechi: 53611 lei
-20%

Puncte Express: 643

Carte tipărită la comandă

Livrare economică 06-11 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783031826993
ISBN-10: 303182699X
Pagini: 252
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science