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ă 15-22 iunie


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