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
9783540490050
Condition
New
Product Description

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.

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

Teaching Skills with Virtual Humans

$169.99

Design of Experiments for Pharmaceutical Product Development

$149.00

Critical mm-Wave Components for Synthetic Automatic Test Systems

$39.99

Teaching Mindfulness

$199.99

Empirical Methods and Studies in Software Engineering

$54.99

Die Mglichkeiten der Atomkerntechnik fr die beschleunigte wirtschaftliche Entfaltung von Entwicklu

$59.99

Bankenzusammenschlsse in Europa

$74.99

Vaterschaft aus der Sicht von Vtern

$74.99

Electrocatalysis in Fuel Cells

$169.00

Eighties People

$54.99

Stabilitt elastischer Platten unter zufallsabhngiger Temperatur

$49.99

Induced Resistance to Disease in Plants

$169.99

Adenosine

$219.99

Gutachtentechnik

$74.99

Organisation des Controllings als Managementfunktion

$74.99

The Global Resurgence of Religion and the Transformation of International Relations

$109.99

Monogen bedingte Erbkrankheiten 1

$59.99

Transforming Public ServicesCombining Data and Algorithms to Fulfil Citizens Expectations

$199.99

The Correspondence Between A. A. Markov and A. A. Chuprov on the Theory of Probability and Mathemati

$54.99

Topothesie

$34.99

Theorie der Lernsysteme

$69.99

Texten fr die Technik

$49.99

Irish Elegies

$54.99

Faszination Physik

$24.99

Science, Mind and Art

$219.99

The Ethics and Efficacy of the Global War on Terrorism

$54.99

W. C. Fields from Burlesque and Vaudeville to Broadway

$54.99

Clifford Algebras

$54.99

Nonlinear Dynamics

$169.99

Privacy and the Commercial Use of Personal Information

$109.99

Basiswissen Humangenetik

$29.99

The Problem of Post-Racialism

$39.99

Warenwirtschaftssysteme

$129.99

Applied Probability-Computer Science: The Interface Volume 1

$39.99

Panels in der Marktforschung

$39.99

Nutrition, Weight, and Digestive Health

$119.99

Proceedings of the 1993 Academy of Marketing Science (AMS) Annual Conference

$169.99

Finite Translation Planes

$29.99

The Strategy of Financial Pressure

$54.99

The Power of the Chinese Dragon

$109.99