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
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9783662482889 ● Editor Sandrine Blazy & Thomas Jensen ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2015 ● Downloadbare 3 keer ● Valuta EUR ● ID 6348900 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer