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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Static Analysis

20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$157.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.25 with Afterpay Learn more

6 weekly interest-free payments of $26.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$203.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$367.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$315.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Algebraic Semantics by Irene Guessarian
$96.00
Algebraic Semantics
by Irene Guessarian ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Axiomatising the Logic of Computer Programming by R. Goldblatt
$92.00
Axiomatising the Logic of Computer Programming
by R. Goldblatt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering Education
$156.00
Software Engineering Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Languages and Compilers for Parallel Computing
$164.00
Languages and Compilers for Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Next Generation Arithmetic
$164.00
Next Generation Arithmetic
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation and Application of Automata
$190.00
Implementation and Application of Automata
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing
$241.00
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Technology for Verification and Analysis
$203.00
Automated Technology for Verification and Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Multidisciplinary Aspects of Time and Time Perception
$151.00
Multidisciplinary Aspects of Time and Time Perception
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2002. Parallel Processing
$314.00
Euro-Par 2002. Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Trends in Applied Intelligent Systems
$304.00
Trends in Applied Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving in Higher Order Logics
$153.00
Theorem Proving in Higher Order Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Proceedings / Parcella 1988
$152.00
Proceedings / Parcella 1988
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 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 NZ
June 6th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Francesco Logozzo
  • Edited by Manuel Fahndrich
Illustrations
130 Illustrations, black and white; X, 499 p. 130 illus.
Pages
499
Dimensions
156x234x26
ISBN-13
9783642388552
Product ID
21412606

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 >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation