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