Bernd Finkbeiner – författare
949 kr
Skickas inom 10-15 vardagar
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
739 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
1 279 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
589 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
589 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
589 kr
Skickas inom 10-15 vardagar
- Nyhet
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
1 169 kr
Skickas inom 10-15 vardagar
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
709 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
739 kr
Skickas inom 10-15 vardagar
739 kr
Skickas inom 10-15 vardagar