Markus Müller-Olm – författare
Visar alla böcker från författaren Markus Müller-Olm. Handla med fri frakt och snabb leverans.
9 produkter
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Av Markus Müller-Olm, Helmut Seidl
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address …
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Av Helmut Seidl, Markus Muller-Olm
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address …
Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Av Xinyu Feng, Markus Müller-Olm m. fl.
Häftad, 2018
568 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from …
Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Av Zijiang Yang, Markus Muller-Olm m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from …
Variations on Constants
Flow Analysis of Sequential and Parallel Programs
Häftad, 2006
568 kr
Lägg i varukorg
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing …
Variations on Constants
Flow Analysis of Sequential and Parallel Programs
E-bok, 2006
755 kr
Lägg i varukorg
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing …
Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Häftad, 1997
568 kr
Lägg i varukorg
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of …
Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Av Neil Jones, Markus Müller-Olm
Häftad, 2008
568 kr
Lägg i varukorg
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18–20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were …
Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Av Markus Muller-Olm, Neil Jones
E-bok, 2008
755 kr
Lägg i varukorg
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18–20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were …
