Andere Kunden interessierten sich auch für
![Static Analysis]( "Static Analysis")
Static Analysis37,99 €![Static Analysis]( "Static Analysis")
Static Analysis37,99 €![Static Analysis]( "Static Analysis")
Static Analysis42,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation37,99 €![Principles of Program Analysis]( "Principles of Program Analysis")
Principles of Program Analysis61,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 Compilers42,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