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 Cloud Computing by
Cover of the book Neuroimmune Pharmacology by
Cover of the book Mining Intelligence and Knowledge Exploration by
Cover of the book Peripheral Retinal Degenerations by
Cover of the book Vestibular Migraine by
Cover of the book Applications for Future Internet by
Cover of the book The Chemical Bond II by
Cover of the book Nonarchimedean and Tropical Geometry by
Cover of the book Science and the Economic Crisis by
Cover of the book Number Theory – Diophantine Problems, Uniform Distribution and Applications by
Cover of the book The CAPRISA Clinical Trials: HIV Treatment and Prevention by
Cover of the book Deep Reinforcement Learning for Wireless Networks by
Cover of the book Laboratory Hemostasis by
Cover of the book Hybrid Artificial Intelligent Systems by
Cover of the book Intuitionistic Fuzzy Calculus 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