My Wish Lists Login / Join

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings - Francesco Logozzo

Static Analysis

20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

By: Francesco Logozzo (Editor), Manuel FÃ¤hndrich (Editor)

Paperback | 6 June 2013

At a Glance

Paperback
512 Pages

Dimensions(cm)
23.39 x 15.6 x 2.62

Paperback

$101.07

Aims to ship in 7 to 10 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Mathematical Theory of Computation Mathematics Mathematical Foundation Mathematical Logic Compilers & Interpreters

More in Computer Programming & Software Development

Code Dependent : Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction - Madhumita Murgia

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Paperback

RRP $36.99

$34.50

Learning Web Design : A Beginner's Guide to HTML, CSS, JavaScript, and Web Graphics : 5th Edition - Jennifer Niederst Robbins

Learning Web Design

A Beginner's Guide to HTML, CSS, JavaScript, and Web Graphics : 5th Edition

Paperback

RRP $125.50

$51.25

59%
OFF

Fluent C : Principles, Practices, and Patterns - Christopher Preschern

Fluent C

Principles, Practices, and Patterns

Paperback

RRP $125.50

$51.25

59%
OFF

Arduino Cookbook : Recipes to Begin, Expand, and Enhance Your Projects - Michael Margolis

Arduino Cookbook

Recipes to Begin, Expand, and Enhance Your Projects

Paperback

RRP $106.50

$48.75

54%
OFF

Modern PHP : New Features and Good Practices - Josh Lockhart

Modern PHP

New Features and Good Practices

Paperback

RRP $57.00

$25.25

56%
OFF

Fundamentals of Web Development, Global Edition : 1st Edition - Randy Connolly

Fundamentals of Web Development, Global Edition

1st Edition

Paperback

RRP $158.35

$126.35

20%
OFF

Python Cookbook : Recipes for Mastering Python : 3rd Edition - David Beazley

Python Cookbook

Recipes for Mastering Python : 3rd Edition

Paperback

RRP $123.50

$50.50

59%
OFF

Concurrency in C# Cookbook : 2nd Edition - Asynchronous, Parallel, and Multithreaded Programming - Stephen Cleary

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $106.50

$49.95

53%
OFF

Making Things Happen : Theory in Practice : Mastering Project Management - Scott Berkun

Making Things Happen : Theory in Practice

Mastering Project Management

Paperback

RRP $85.50

$36.75

57%
OFF

JavaScript : The Good Parts : Unearthing the excellence in JavaScript - Douglas Crockford

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Paperback

RRP $57.00

$26.25

54%
OFF

Information Modeling and Relational Databases : 2nd Edition - Terry Halpin

Information Modeling and Relational Databases

2nd Edition

Hardcover

RRP $108.95

$80.75

26%
OFF

Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$44.50

53%
OFF

From Social Science to Data Science : Key Data Collection and Analysis Skills in Python - Bernie Hogan

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Paperback

RRP $98.50

$93.75

Planning and Control Using Microsoft Project 365 and 2021 : Including Microsoft Project 2013,2016 and 2019 - Paul E Harris

Planning and Control Using Microsoft Project 365 and 2021

Including Microsoft Project 2013,2016 and 2019

Paperback

RRP $49.95

$37.50

25%
OFF

Systems Analysis and Design : 8th Edition - Alan Dennis

Systems Analysis and Design

8th Edition

Paperback

RRP $263.95

$220.75

16%
OFF

Analytics Engineering with SQL and Dbt : Building Meaningful Data Models at Scale - Rui Machado

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Paperback

RRP $125.50

$51.25

59%
OFF

Building Recommendation Systems in Python and Jax : Hands-On Production Systems at Scale - Bryan Bischof

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$61.50

60%
OFF

Fuzzy Data Matching with SQL : Enhancing Data Quality and Query Performance - Jim Lehmer

Fuzzy Data Matching with SQL

Enhancing Data Quality and Query Performance

Paperback

RRP $114.00

$46.80

59%
OFF

Knowledge Management : 3rd Edition - Systems and Processes in the AI Era - Irma Becerra-Fernandez

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Hardcover

RRP $347.00

$266.25

23%
OFF

Machine Learning with Python Cookbook : 2nd Edition - Practical Solutions from Preprocessing to Deep Learning - Kyle Gallatin

Machine Learning with Python Cookbook

2nd Edition - Practical Solutions from Preprocessing to Deep Learning

Paperback

RRP $152.00

$61.95

59%
OFF

Hadoop : The Definitive Guide : Storage and Analysis at Internet Scale : 4th Edition Revised and Updated - Tom White

Hadoop : The Definitive Guide

Storage and Analysis at Internet Scale : 4th Edition Revised and Updated

Paperback

RRP $123.50

$48.35

61%
OFF

Debugging Teams : Better Prductivity Through Collaboration - Brian Debugging

Debugging Teams

Better Prductivity Through Collaboration

Paperback

RRP $57.00

$26.25

54%
OFF

Think Stats : Exploratory Data Analysis - Allen Downey

Think Stats

Exploratory Data Analysis

Paperback

RRP $66.50

$29.35

56%
OFF

Head First C# : 4th Edition - Andrew Stellman

Head First C#

4th Edition

Paperback

RRP $133.00

$50.25

62%
OFF

Popular Searches