Yakir Vizel - Böcker

Visar alla böcker från författaren Yakir Vizel.

3 produkter

Kategorier

3 produkter

Verification, Model Checking, and Abstract Interpretation

22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

Av Fritz Henglein, Sharon Shoham m. fl

Häftad, Engelska, 2021

1 289 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Av Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Av Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar