Del 16417 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Häftad, Engelska, 2026
1 079 kr
Skickas inom 10-15 vardagar