Code: 05274620

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 05274620
Price: 51.53 EUR
Availability: InStock
Author: Radhia Cousot
ISBN: 9783540617396

by Radhia Cousot, David A. Schmidt

Language: English
Binding: Paperback
Number of pages: 398
Publisher: Springer, Berlin, 1996
More about this

51.53 €

RRP: 55.80 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Great Sea
17.44 € -34 %
Buy
What's the Weather?
14.51 € -25 %
Buy
Bałwanek Świąteczne activity z wykrojnikiem
2.11 € -14 %
Buy
Dragon Ball Z. Saiyanos 03
14.82 €
Buy
Children's Literature Review
579.66 €
Buy
Keine Angst vor Bakterien!
14.21 € -16 %
Buy
Une politique europeenne
16.13 € -5 %
Buy
Observations on the Disturbances in the Madras Army in 1809
31.76 € -2 %
Buy
Generalist Practice with Organizations and Communities, International Edition
112.96 €
Buy
Butchered Dreams
14.01 € -7 %
Buy
Fields of Praise
31.16 €
Buy
TAX HAVENS
61.22 € -14 %
Buy
productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system
42.66 € -14 %
Buy
Remaking governance
40.64 € -12 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Book details

Book category Books in English Computing & information technology Computer science Systems analysis & design

51.53 €

Full title: Static Analysis
Subtitle: Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings
Author: Radhia Cousot, David A. Schmidt
Language: English
Binding: Paperback
Number of pages: 398
EAN: 9783540617396
ISBN: 3540617396
ID: 05274620
Publisher: Springer, Berlin
Weight: 524 g
Dimensions: 234 × 156 × 21 mm
Published: 1996