Del 11028
Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
562 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski
Häftad, 2004
1 116 kr
Tools and Algorithms for the Construction and Analysis of Systems
Andreas Podelski, Kurt Jensen
E-bok
20041 459 kr
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski, Byron Cook
E-bok
2007708 kr
Verification, Model Checking, and Abstract Interpretation
Byron Cook, Andreas Podelski
Häftad, 2007
562 kr
Verified Software: Theories, Tools, Experiments
Rajeev Joshi, Peter Müller, Andreas Podelski
Häftad, 2012
562 kr
Verified Software: Theories, Tools, Experiments
Andreas Podelski, Peter Muller, Rajeev Joshi
E-bok
2012734 kr