Yakir Vizel - Böcker

Visar alla böcker från författaren Yakir Vizel.
3 produkter
Fritz Henglein, Sharon Shoham, Yakir Vizel - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Fritz Henglein, Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2021

1 319 kr

Skickas inom 7-10 vardagar
Sharon Shoham, Yakir Vizel - Computer Aided Verification, Häftad
Del 13371 - Lecture Notes in Computer Science

Computer Aided Verification

Av Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar
Sharon Shoham, Yakir Vizel - Computer Aided Verification, Häftad
Del 13372 - Lecture Notes in Computer Science

Computer Aided Verification

Av Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar