Yakir Vizel – författare
Visar alla böcker från författaren .
3 produkter
3 produkter
Del 12597 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Häftad, Engelska, 2021
1 299 kr
Skickas inom 10-15 vardagar
Del 13371 - Lecture Notes in Computer Science
Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
Häftad, Engelska, 2022
579 kr
Skickas inom 10-15 vardagar
Del 13372 - Lecture Notes in Computer Science
Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
Häftad, Engelska, 2022
579 kr
Skickas inom 10-15 vardagar