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 Principles of Miniaturized ExtraCorporeal Circulation by
Cover of the book Das gesamte examensrelevante Zivilrecht by
Cover of the book Genomics of Plant-Associated Fungi and Oomycetes: Dicot Pathogens by
Cover of the book MRI Atlas of Orthopedics and Traumatology of the Knee by
Cover of the book Biology and Conservation of the European Sturgeon Acipenser sturio L. 1758 by
Cover of the book Bones and Joints by
Cover of the book Dendritic Cells and Virus Infection by
Cover of the book Fundamentals of the Physics of Solids by
Cover of the book Quantitative Thin-Layer Chromatography by
Cover of the book Modernization Science by
Cover of the book Einführung in die Wirtschaftsinformatik by
Cover of the book Bioinformatik by
Cover of the book Aerosol-Cloud Interactions from Urban, Regional, to Global Scales by
Cover of the book On the Limits of Constitutional Adjudication by
Cover of the book Mergers & Acquisitions in China 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