Markus Müller-Olm - Böcker
Visar alla böcker från författaren Markus Müller-Olm.
5 produkter
5 produkter
Del 8723 - Lecture Notes in Computer Science
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Häftad, Engelska, 2014
729 kr
Skickas inom 10-15 vardagar
Del 10998 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Häftad, Engelska, 1997
729 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Häftad, Engelska, 2008
949 kr
Skickas inom 5-8 vardagar