Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Static Analysis by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319667065
Publisher: Springer International Publishing Publication: August 16, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319667065
Publisher: Springer International Publishing
Publication: August 16, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 

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 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 

More books from Springer International Publishing

Cover of the book Descriptions, Translations and the Caribbean by
Cover of the book Information Search, Integration, and Personalization by
Cover of the book Organizational Trust by
Cover of the book The Schutzian Theory of the Cultural Sciences by
Cover of the book Human Ecology of Climate Change Hazards in Vietnam by
Cover of the book Fibrous Proteins: Structures and Mechanisms by
Cover of the book Conservation Agriculture by
Cover of the book Microbes in Food and Health by
Cover of the book Security Privatization by
Cover of the book Dynamics in Logistics by
Cover of the book Organizational Psychology and Evidence-Based Management by
Cover of the book ‘True Democracy’ as a Prelude to Communism by
Cover of the book High Field Brain MRI by
Cover of the book Drinking Water by
Cover of the book Financing Basic Income 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