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

Mehrdimensionale lineare Systeme

$59.99

Monica Brown (Spanish) Grades 3-5

$23.00

Optimization of Structural Systems and Industrial Applications

$549.99

Huguenot Warrior

$169.99

Berechnung und Verhalten von Wasserrohrkesseln

$59.99

Essentials of Modern Optical Fiber Communication

$64.99

Branes and DAHA Representations

$49.99

Fachbergreifende Aspekte der Hmostaseologie IV

$69.99

Geist und Wirklichkeit

$69.95

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$54.99

Grenselektive Synthese von Nanostrukturierten Metall-Clustern. Parasiten: Ihre Bedeutung heute

$44.99

Reading Unbound (30-copy pack)

$517.20

Plant Transcription Factors

$84.99

Leitfaden fr die Frsterprfungen

$59.99

Geospace Electromagnetic Waves and Radiation

$109.99

Carnap's Logical Syntax of Language

$99.00

Die Kulturelle Bedeutung der Komplexen Psychologie

$59.99

Biscuit Takes a Walk

$4.46

New Media Dramaturgy

$139.99

Guided Reading Level X Pack 1

$89.00

Class 3.2 - 3.5 Hydrolases IX

$329.99

Environmental Management in Ski Areas

$54.99

Planning London for the Post-War Era 1945-1960

$109.99

Contemporary Knowledge Engineering and Cognition

$39.99

Democracy and Interest Groups

$84.99

Designing Reliable and Efficient Networks on Chips

$169.99

Corporate Whistleblowing Regulation

$179.99

Mental Health Outcome Measures

$54.99

DC Electrical Circuit Analysis

$64.99

Vierzehnte sterreichische rztetagung Wien

$79.99

Digital Geography

$219.99

Tomorrow's Agriculture

$49.99

Inter-institutionelle Kooperation von EU und NATO

$59.99

Biotechnology in India II

$169.00

Infinite Dimensional Algebras and Quantum Integrable Systems

$84.99

Writers Directory

$29.99

Liberalism, Conservatism, and Hayek's Idea of Spontaneous Order

$54.99

Amphibien und Reptilien

$34.99

Socioscientific Issues Focused Teacher Education

$119.00

New Horizons in Nitrogen Fixation

$329.99