Arie Gurfinkel - Böcker
Visar alla böcker från författaren Arie Gurfinkel.
7 produkter
7 produkter
Del 14681 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Häftad, Engelska, 2024
639 kr
Skickas inom 7-10 vardagar
Del 14682 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Häftad, Engelska, 2024
619 kr
Skickas inom 7-10 vardagar
Del 14683 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Häftad, Engelska, 2024
619 kr
Skickas inom 10-15 vardagar
Del 15696 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2025
699 kr
Skickas inom 10-15 vardagar
Del 15697 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2025
699 kr
Skickas inom 10-15 vardagar
Del 15698 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2025
699 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2016
739 kr
Skickas inom 10-15 vardagar