Hoppa till sidans huvudinnehåll

Sharon Shoham - Böcker

Visar alla böcker från författaren Sharon Shoham.
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 319 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

Av Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2022

589 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

Av Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2022

589 kr

Skickas inom 10-15 vardagar