Bernd Finkbeiner – författare
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
718 kr
Skickas inom 10-15 vardagar
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
554 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
962 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
445 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
445 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
445 kr
Skickas inom 10-15 vardagar
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 265 kr
Kommande
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
538 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
554 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
553 kr
Skickas inom 10-15 vardagar