Cantitate/Preț
Produs

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

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

Din seria Lecture Notes in Computer Science

Preț: 43052 lei

Preț vechi: 53816 lei
-20%

Puncte Express: 646

Carte tipărită la comandă

Livrare economică 07-13 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: 9783031827020
ISBN-10: 3031827023
Pagini: 268
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science