Dansk
Static Analysis e-bog
436,85 DKK
(inkl. moms 546,06 DKK)
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,...
E-bog
436,85 DKK
Forlag
Springer
Udgivet
1 september 2015
Genrer
UMC
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783662482889
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