Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Static Analysis
Best Price (Coupon Required):
Buy Static Analysis for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
Reviews
Questions & Answers
Characterization of Solid Polymers
$169.00
Das Finanzierungsverhalten der westdeutschen Handwerker
$44.99
Wie lernt man morsen?
$49.99
Molecular and Structural Archaeology: Cosmetic and Therapeutic Chemicals
$219.99
Front Line Extremity and Orthopaedic Surgery
$84.99
Computer ABC
$59.99
Die Erforschung des tropischen Luftozeans in Niederlndisch-Ost-Indien
$44.99
Cosmic Rays in the Earths Atmosphere and Underground
$329.99
Nondifferentiable Optimization: Motivations and Applications
$54.99
Blue Planet Law
$59.99
Inside Outside
$99.00
In meinen Tnen spreche ich
$49.99
An Introduction to Nonlinear Analysis: Theory
$169.00
Computational Aerodynamics and Fluid Dynamics
$54.99
Daten- und Identittsschutz in Cloud Computing, E-Government und E-Commerce
$49.99
Nanotechnology Characterization Tools for Tissue Engineering and Medical Therapy
$169.00
Rationalisierung in Httenwerken
$59.99
Stream Processor Architecture
$109.99
Computer Science - Theory and Applications
$39.99
Surgery of the Skull Base
$159.99
Autophagy at the Cell, Tissue and Organismal Level
$49.99
Die Gewebe des Menschen und der Sugetiere
$149.99
Terminbrsengeschfte
$69.99
Italy-China Trade Relations
$39.99
Differential Geometry and its Applications
$109.99
Coping with COVID-19, the Mobile Way
$159.99
Fully Implicit, Coupled Procedures in Computational Fluid Dynamics
$169.99
Thomas Hardy, Metaphysics and Music
$54.99
Traditionalism and Radicalism in the History of Christian Thought
$54.99
Optical Supercomputing
$69.99
The Letters of Dominique Chaix, Botanist-Cur
$39.99
Ultrasonic Tissue Characterization
$109.99
Biotechnology for Environmental Protection
$219.99
Die Zeitung zwischen Print und Digitalisierung
$74.99
Jihadism in Scandinavia
$84.99
Mobile Multimedia Communications
$99.99
Stabilization, Tracking and Formation Control of Autonomous Marine Vessels
$179.99
Multidisciplinary Approaches to the Study of Stone Age Weaponry
$99.00
Space
$5.21
Traditional Wisdom and Modern Knowledge for the Earths Future
$159.99
