Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Del 14682 i serien Lecture Notes in Computer Science
460 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.