Del 12913 - Lecture Notes in Computer Science
Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Häftad, Engelska, 2021
1 169 kr
Skickas inom 10-15 vardagar
Cezara Drăgoi – författare
Visar alla böcker från författaren Cezara Drăgoi.
2 produkter
2 produkter
- Del 13881 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Häftad, Engelska, 20231 089 kr
Skickas inom 10-15 vardagar