Yakir Vizel – författare

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

3 produkter

Kategorier

3 produkter

Del 12597
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
AvFritz Henglein,Sharon Shohamm. fl.
Häftad, Engelska, 2021
1 329 kr
Skickas inom 10-15 vardagar
Del 13371
Del 13371 - Lecture Notes in Computer Science
Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
AvSharon Shoham,Yakir Vizel
Häftad, Engelska, 2022
599 kr
Skickas inom 10-15 vardagar
Del 13372
Del 13372 - Lecture Notes in Computer Science
Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
AvSharon Shoham,Yakir Vizel
Häftad, Engelska, 2022
599 kr
Skickas inom 10-15 vardagar