Andere Kunden interessierten sich auch für
![Static Analysis]( "Static Analysis")
Static Analysis37,99 €![Static Analysis]( "Static Analysis")
Static Analysis39,99 €![Formal Methods. FM 2019 International Workshops]( "Formal Methods. FM 2019 International Workshops")
Formal Methods. FM 2019 International Workshops37,99 €![Principles of Program Analysis]( "Principles of Program Analysis")
Principles of Program Analysis58,99 €![Principles of Program Analysis]( "Principles of Program Analysis")
Principles of Program Analysis37,99 €![Advanced Symbolic Analysis for Compilers]( "Advanced Symbolic Analysis for Compilers")
Advanced Symbolic Analysis for Compilers40,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation39,99 €
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.
The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area