Verification, Model Checking, and Abstract Interpretation
Editat de Bernd Finkbeiner et al.
14 ian 2022
Paperback
Preț: 604.24 lei 755.30 lei
6-8 săpt.
-20%
Thomas Wies
Automated Verification of Concurrent Search Structures
Autor Siddharth Krishna et al.
iun 2021
Paperback
Preț: 419.51 lei
6-8 săpt.
Programming Languages and Systems
Editat de Thomas Wies
18 apr 2023
Paperback
Preț: 321.40 lei 401.75 lei
6-8 săpt.
-20%
Networked Systems
Editat de David Mohaisen et al.
7 iul 2023
Paperback
Preț: 386.16 lei 482.69 lei
6-8 săpt.
-20%
Verified Software. Theories, Tools, and Experiments
Editat de Andrei Paskevich et al.
15 dec 2017
Paperback
Preț: 331.19 lei 413.99 lei
6-8 săpt.
-20%