Tác giả: Markus Muller-Olm

Ủng hộ

4 Ebooks bởi Markus Muller-Olm

Neil Jones & Markus Müller-Olm: Verification, Model Checking, and Abstract Interpretation
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 …
PDF
Anh
DRM
€79.72
Markus Muller-Olm & Helmut Seidl: Static Analysis
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 …
PDF
Anh
DRM
€57.17
Xinyu Feng & Markus Muller-Olm: Dependable Software Engineering. Theories, Tools, and Applications
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 …
EPUB
Anh
DRM
€57.90
Markus Muller-Olm: Variations on Constants
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 th …
PDF
Anh
DRM
€57.74