Static Analysis Image close
Static Analysis
Static Analysis
Show Hide Adult Content
Static Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 2-12 July using International Courier

Explore more Programming and Software Engineering

See all products in this series

Verified Software: Theories, Tools and Experiments
$135.99
Verified Software: Theories, Tools and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$135.99
$136.95
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $31
$135.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
$146.99
OpenSHMEM and Related Technologies. Big Compute and Big Data...
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation Save $22
$135.99
$158.95
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$131.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$173.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Universal Access in Human-Computer Interaction. Ambient Interaction
$421.99
Universal Access in Human-Computer Interaction. Ambient Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Reuse in Emerging Software Engineering Practices Save $21
$136.99
$158.95
Reuse in Emerging Software Engineering Practices
Paperback / softback
Available - Usually ships in 3-4 weeks
Analytical and Stochastic Modelling Techniques and Applications
$136.99
Analytical and Stochastic Modelling Techniques and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
$136.99
System Analysis and Modeling. Languages, Methods, and Tools for...
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$136.99
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $30
$136.99
$167.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$170.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $14
$136.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$167.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
Release date Australia
August 3rd, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Antoine Mine
  • Edited by David Schmidt
Illustrations
153 Illustrations, black and white; XI, 457 p. 153 illus.
Pages
457
Dimensions
156x234x24
ISBN-13
9783642331244
Product ID
20789961

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation