Suchergebnisse für "Müller-Olm, Markus"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Müller-Olm, Markus" gefunden.
Katalogsuche
Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Lecture Notes in Computer Science 1283
Müller-Olm, Markus
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Variations on Constants
Lecture Notes in Computer Science 3800, Lecture Notes in Computer Science 3800 - Programming and Software Engineering
Müller-Olm, Markus
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20,2009.Proceedings, Lecture Notes in Computer Science 5403 - Theoretical Computer Science and General Issues
Neil Jones/Markus Müller-Olm
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6,2018, Proceedings, Lecture Notes in Computer Science 10998 - Programming and Software Engineering
Xinyu Feng/Markus Müller-Olm/Zijiang Yang
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13,2014.Proceedings, Lecture Notes in Computer Science 8723 - Theoretical Computer Science and General Issues
Markus Müller-Olm/Helmut Seidl
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
