K. Rustan M. Leino – författare
Visar alla böcker från författaren K. Rustan M. Leino. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
1 099 kr
Skickas
Del 12759 - Lecture Notes in Computer Science
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Häftad, Engelska, 2021
579 kr
Skickas inom 10-15 vardagar
Del 12760 - Lecture Notes in Computer Science
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Häftad, Engelska, 2021
579 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Häftad, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar