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