Verification, Model Checking, and Abstract Interpretation
Editat de Isil Dillig et al.
10 ian 2018
Paperback
Preț: 335.48 lei 419.35 lei
6-8 săpt.
-20%
Lecture Notes in Computer Science
Computer Aided Verification
Editat de Isil Dillig et al.
13 iul 2019
Paperback
Preț: 363.53 lei 454.40 lei
6-8 săpt.
-20%