Computer Aided Verification
Editat de Isil Dillig et al.
13 iul 2019
Paperback
Preț: 363.53 lei 454.40 lei
6-8 săpt.
-20%
Lecture Notes in Computer Science
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%