Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Static Analysis

Static Analysis

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642032370
Condition
New
Product Description

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Root-Galling Disease of Vegetable Plants

$219.99

Mobile Electric Vehicles

$109.99

Grundlagen der Steuerlehre

$29.99

Graphical Models for Security

$54.99

An Ethics of Science Communication

$69.99

Infectious Diseases and Substance Abuse

$169.99

Computational Neuroscience

$54.99

Africa at the Millennium

$109.99

The CRC Handbook of Thermal Engineering

$219.99

The Diffuse Interstellar Bands

$219.99

Optimization on Low Rank Nonconvex Structures

$219.99

Social-Media-Kommunikation nationaler Regierungen in Europa

$59.99

Big Data im Gesundheitswesen kompakt

$19.99

Information analysis of vegetation data

$109.99

Palliative Logopdie - Band 1

$17.99

Visual Attributes

$84.99

Imaging the Brain with Optical Methods

$169.99

Heterogeneous Data Management, Polystores, and Analytics for Healthcare

$54.99

Linear Algebra

$39.99

Cell Culture Engineering

$259.00

USA UdSSR

$69.99

Sozialrechtsbezogene Beratung

$49.99

Aging and the Heart

$89.00

Einflufelder zweifeldriger Platten mit freien Lngsrndern / Influence Surfaces of Two-Span Continu

$54.99

Organometallic Modeling of the Hydrodesulfurization and Hydrodenitrogenation Reactions

$39.99

Following the Levellers, Volume Two

$139.99

Pro ASP.NET MVC Framework

$49.99

Mathematical Approaches to Biological Systems

$109.99

This Silence Must Now Speak

$84.99

MultiMedia Modeling

$109.99

Breast Cancer Diagnosis

$109.99

Proceedings of the 14th International Symposium on Computer Science in Sport (IACSS 2023)

$219.99

The Physics of Non-Thermal Radio Sources

$54.99

I Like Myself!

$5.21

Web Information Systems Engineering WISE 2007

$84.99

Einfhrung in die Programmiersprache Modula 2

$54.99

A New Bio-inspired Optimization Algorithm Based on the Self-defense Mechanism of Plants in Nature

$54.99

From Adolescence to Adulthood in the Vietnam Era

$84.99

Sexually Transmitted Diseases

$54.99

Women in Non-traditional Occupations

$109.99