Arie Gurfinkel - Böcker

Visar alla böcker från författaren Arie Gurfinkel.
7 produkter
Arie Gurfinkel, Vijay Ganesh - Computer Aided Verification, Häftad
Del 14681 - Lecture Notes in Computer Science

Computer Aided Verification

Av Arie Gurfinkel, Vijay Ganesh

Häftad, Engelska, 2024

609 kr

Skickas inom 5-8 vardagar
Arie Gurfinkel, Vijay Ganesh - Computer Aided Verification, Häftad
Del 14682 - Lecture Notes in Computer Science

Computer Aided Verification

Av Arie Gurfinkel, Vijay Ganesh

Häftad, Engelska, 2024

609 kr

Skickas inom 5-8 vardagar
Arie Gurfinkel, Vijay Ganesh - Computer Aided Verification, Häftad
Del 14683 - Lecture Notes in Computer Science

Computer Aided Verification

Av Arie Gurfinkel, Vijay Ganesh

Häftad, Engelska, 2024

609 kr

Skickas inom 7-10 vardagar
Arie Gurfinkel, Marijn Heule - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 15696 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Arie Gurfinkel, Marijn Heule - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 15697 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Arie Gurfinkel, Marijn Heule - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 15698 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments, Häftad

Verified Software: Theories, Tools, and Experiments

Av Arie Gurfinkel, Sanjit A. Seshia

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar