Verification, Model Checking, and Abstract Interpretation
Editat de Bernd Finkbeiner et al.
14 ian 2022
Paperback
Preț: 580.91 lei 726.13 lei
6-8 săpt.
-20%
Thomas Wies
Automated Verification of Concurrent Search Structures
Autor Siddharth Krishna et al.
iun 2021
Paperback
Preț: 402.16 lei
6-8 săpt.
Verified Software. Theories, Tools, and Experiments
Editat de Andrei Paskevich et al.
15 dec 2017
Paperback
Preț: 318.48 lei 398.10 lei
6-8 săpt.
-20%