Bernd Finkbeiner - Böcker
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
939 kr
Skickas inom 10-15 vardagar
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
729 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 259 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
579 kr
Skickas inom 7-10 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
579 kr
Skickas inom 7-10 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
579 kr
Skickas inom 7-10 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 569 kr
Kommande
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
729 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
729 kr
Skickas inom 10-15 vardagar