Verified Software. Theories, Tools and Experiments
Editat de Andrew Reynolds et al.
27 iul 2024
Paperback
Preț: 312.94 lei 391.18 lei
6-8 săpt.
-20%
Lecture Notes in Computer Science
Computer Aided Verification
Autor Serdar Tasiran et al.
7 oct 2020
Hardback
Preț: 442.87 lei 553.59 lei
6-8 săpt.
-20%
Runtime Verification
Editat de Shaz Qadeer et al.
11 ian 2013
Paperback
Preț: 324.02 lei 405.03 lei
6-8 săpt.
-20%