Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings by Markus Müller-OlmStatic Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings by Markus Müller-Olm

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014…

byMarkus Müller-OlmEditorHelmut Seidl

Paperback | August 20, 2014

Pricing and Purchase Info

$77.38 online 
$96.95 list price save 20%
Earn 387 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Title:Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014…Format:PaperbackDimensions:337 pagesPublished:August 20, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319109359

ISBN - 13:9783319109350

Look for similar items by category:

Reviews

Table of Contents

Static analysis.- Including abstract interpretation.- Abstract testing.- Bug detection.- Data flow analysis.- Model checking.- Program transformation.- Program verification.- Security analysis.- Type checking.