Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Static Analysis by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783662482889
Publisher: Springer Berlin Heidelberg Publication: September 1, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783662482889
Publisher: Springer Berlin Heidelberg
Publication: September 1, 2015
Imprint: Springer
Language: English

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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer Berlin Heidelberg

Cover of the book Advances in Cryptology – ASIACRYPT 2016 by
Cover of the book Physician's Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases by
Cover of the book Im Fokus: Entdecker by
Cover of the book Municipal Solid Waste Management by
Cover of the book Legal Regulation of Corporate Social Responsibility by
Cover of the book Mehr Schein als Sein? by
Cover of the book Standard-Based Data and Information Systems for Earth Observation by
Cover of the book Theoretical Molecular Biophysics by
Cover of the book The Neuroendocrine Leydig Cells and their Stem Cell Progenitors, the Pericytes by
Cover of the book Transnational Marketing and Transnational Consumers by
Cover of the book Surgery in Solitary Kidney and Corrections of Urinary Transport Disturbances by
Cover of the book Domestic Dog Cognition and Behavior by
Cover of the book Handling Missing Data in Ranked Set Sampling by
Cover of the book Grundlagen der Elektrotechnik und Elektronik 3 by
Cover of the book Intrinsic Neuronal Organization of the Vestibular Nuclear Complex in the cat by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy