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
589 kr
Skickas inom 5-8 vardagar
Arie Gurfinkel – författare
Visar alla böcker från författaren Arie Gurfinkel.
7 produkter
7 produkter
- 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, 2024589 kr
Skickas inom 5-8 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, 2024589 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, 2025589 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, 2025589 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, 2025589 kr
Skickas inom 10-15 vardagar
- Del 9593 - Lecture Notes in Computer Science
Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Häftad, Engelska, 2016739 kr
Skickas inom 10-15 vardagar