Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Static Analysis

Name: Static Analysis
Brand: Springer International Publishing AG
SKU: 05166407
Price: 51.78 EUR
Availability: InStock
Author: Markus Müller-Olm
ISBN: 9783319109350

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Markus Müller-Olm

Helmut Seidl

Language

English

Book Paperback

Libristo code: 05166407

Publishers Springer International Publishing AG, August 2014

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Full description

Libristo code: 05166407

125 b

51.78 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Déviance Sylvain

Paperback

22.89 €

IT-Berufe Ingo Patett

Paperback

40.73 €

Ballet: La mejor guía para apoyar a tu hijo: Manual para Padres Nadia Bautista Contreras

Paperback

7.69 €

Verbindungen II Maria Ivanytska

Hardback

40.63 €

Droits constitutionnels et institutions politiques du monde Owona

Paperback

62.52 €

Papst Sixtus Der Fünfte: Tragödie in Fünf Aufzügen Julius Minding

Hardback

35.97 €

Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein

Paperback

53.20 €

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.