Arie Gurfinkel – författare
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
Av Arie Gurfinkel, Vijay Ganesh
Häftad, 2024
579 kr
Lägg i varukorg
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Av Arie Gurfinkel, Vijay Ganesh
Häftad, 2024
579 kr
Lägg i varukorg
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Av Arie Gurfinkel, Vijay Ganesh
Häftad, 2024
589 kr
Lägg i varukorg
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
Av Arie Gurfinkel, Marijn Heule
Häftad, 2025
589 kr
Lägg i varukorg
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
Av Arie Gurfinkel, Marijn Heule
Häftad, 2025
589 kr
Lägg i varukorg
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
Av Arie Gurfinkel, Marijn Heule
Häftad, 2025
589 kr
Lägg i varukorg
Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Av Arie Gurfinkel, Sanjit A. Seshia
Häftad, 2016
729 kr
Lägg i varukorg