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

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types.

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

Mobility, Migration and Transport

$59.99

Serotonin und akustisch evozierte Potentiale

$69.99

Renewable Energy Resources and Conservation

$129.00

Estrogen Receptors

$119.00

Wellbeing and Transitions in Law

$169.99

Rechnerstrukturen und Rechnerarchitekturen

$59.99

Hilbert

$37.99

Social Justice and Education in the 21st Century

$169.00

Migration and Discrimination

$22.99

Artificial Intelligence for Biology and Agriculture

$169.99

Postcolonialism in the Wake of the Nairobi Revolution

$54.99

Programming Basics

$49.99

vielfltige Lebensweisen

$69.99

Management der Kreislaufwirtschaft

$17.99

Quantum Field Theory and String Theory

$39.99

Microtectonics

$54.99

Semiconductor Modeling:

$129.00

Field Programmable Logic and Applications

$39.99

Shape and Layout Optimization of Structural Systems and Optimality Criteria Methods

$54.99

King and the Dragonflies (Hardcover)

$13.49

Plato and the Times He Lived in

$54.99

Non-Orthogonal Multiple Access for Massive Connectivity

$54.99

Pathologie der ableitenden Harnwege und der Prostata

$54.99

The European Union and the International Legal Order:Discord or Harmony?

$169.99

Intimately Situated Stories of Place

$169.99

Handbook of Lifelong Learning for Sustainable Development

$249.99

Links Between Beliefs and Cognitive Flexibility

$109.99

Doing Indefinite Time

$49.99

Recent Advances in Materials

$169.00

Old MacDonald Had a Spooky Farm

$7.49

Nasal Polyposis

$109.99

Adaptive Multimedia Retrieval: User, Context, and Feedback

$54.99

Applied and Industrial Mathematics, Venice2, 1998

$84.99

Infection Prevention

$84.99

Kommunikation als Basis wirkungsvollen Fhrungskrfte-Coachings

$89.99

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0

$139.99

Mean Curvature Flow and Isoperimetric Inequalities

$39.95

Trends in Manufacturing and Engineering Management

$169.99

A Colour Atlas of Salmonid Diseases

$199.99

Indigenous Cultures and Sustainable Development in Latin America

$99.99