Copied Static Analysis
Static Analysis
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020. The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions. The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$59.99 | $59.99 |
|
$59.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Basic Naval Architecture
$49.99
Hinduism and Hindi Theater
$54.99
Fundamental Polymer Science
$79.99
Proceedings of the Third GAMM Conference on Numerical Methods in Fluid Mechanics
$59.99
Das Zwillingsparadoxon
$17.99
Gesamtfahrzeug
$19.99
Politisches Denken. Jahrbuch 1998
$39.99
Units of Measurement
$149.00
Algorithms and Architectures for Parallel Processing
$39.99
Framing Privacy in Digital Collections with Ethical Decision Making
$59.99
Kalte Plasmen
$54.99
Henry James and Queer Filiation
$64.99
Advanced Techniques in Logic Synthesis, Optimizations and Applications
$109.00
Modern Developments in Gas Dynamics
$54.99
Geo-intelligence for Sustainable Development
$169.99
Non-Cooperative Game Theory
$64.99
Single Molecule Spectroscopy
$39.99
Kausalitt und Motivation
$139.00
The Jews and British Romanticism
$54.99
Der Fahrradunfall
$69.99
Cognitive Science and Artificial Intelligence
$59.99
Genetics of Rare Autoimmune Diseases
$119.99
Painful Diabetic Polyneuropathy
$169.99
Formation of Adult Learning Systems in Central Europe
$119.00
Machine Learning and Knowledge Discovery in Databases
$84.99
The Inter-Relationship Between Irrigation, Drainage and the Environment in the Aral Sea Basin
$129.00
Design and Computation of Modern Engineering Materials
$109.99
Direct Myocardial Revascularization: History, Methodology, Technology
$169.99
Recht richtig formulieren
$39.99
The Physics of Structure Formation
$39.99
Deconstructing Japan's Image of South Korea
$109.99
Topics in Plasma Diagnostics
$39.99
Hajnal Andrka and Istvn Nmeti on Unity of Science
$109.99
Split Manufacturing of Integrated Circuits for Hardware Security and Trust
$99.99
Edgar Rubin and Psychology in Denmark
$39.99
Disorders of the Respiratory Tract
$169.99
Beitrge zur angewandten Wirtschaftsforschung
$59.99
In-situ Materials Characterization
$109.99
Algorithms and Models for the Web-Graph
$39.99
Mathematical Modelling and Numerical Analysis of Structural Members in Temperature Fi
$199.99
