Runtime Verification
Editat de Shaz Qadeer et al.
11 ian 2013
Paperback
Preț: 323.02 lei 403.77 lei
6-8 săpt.
-20%
Lecture Notes in Computer Science
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Editat de Isil Dillig et al.
13 iul 2019
Paperback
Preț: 360.08 lei 450.11 lei
6-8 săpt.
-20%
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Editat de Andrew Reynolds et al.
5 sep 2024
Paperback
Preț: 311.36 lei 389.19 lei
6-8 săpt.
-20%