Hoppa till sidans huvudinnehåll

Arie Gurfinkel - Böcker

Visar alla böcker från författaren Arie Gurfinkel.
7 produkter

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

AvArie Gurfinkel,Vijay Ganesh

Häftad, Engelska, 2024

639 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

AvArie Gurfinkel,Vijay Ganesh

Häftad, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

AvArie Gurfinkel,Vijay Ganesh

Häftad, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

AvArie Gurfinkel,Marijn Heule

Häftad, Engelska, 2025

669 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

AvArie Gurfinkel,Marijn Heule

Häftad, Engelska, 2025

669 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

AvArie Gurfinkel,Marijn Heule

Häftad, Engelska, 2025

669 kr

Skickas inom 10-15 vardagar

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

AvArie Gurfinkel,Sanjit A. Seshia

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar