Verification, Model Checking, and Abstract Interpretation
Editat de Fritz Henglein et al.
12 ian 2021
Paperback
Preț: 585.39 lei 731.75 lei
6-8 săpt.
-20%
Sharon Shoham
Computer Aided Verification
Editat de Sharon Shoham et al.
6 aug 2022
Paperback
Preț: 308.65 lei 385.81 lei
6-8 săpt.
-20%