Copied Static Analysis
Static Analysis
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
