Code: 05274747

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 05274747
Price: 61.56 EUR
Availability: InStock

by Pascal Van Hentenryck

Language: English
Binding: Paperback
Number of pages: 424
Publisher: Springer, Berlin, 1997
More about this

61.56 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Inky Dinky Blossom: Travel-sized adult colouring, coloring book
6.26 € -7 %
Buy
Year in Immunology
144.56 €
Buy
Project X Origins: Grey Book Band, Oxford Level 14: In the News: Mixed Pack of 5
76.02 €
Buy
"Ich kann nicht - gibt's nicht! Wie die individuelle Ruckmeldung den Attributionsstil, die Motivation und die daraus resultierende Lernleistung langfr
64.79 € -2 %
Buy
Managing Anger Through Selfless Thinking
13.54 €
Buy
Sonata in G, K. 283
12.83 €
Buy
Lesbian & Bisexual Identities
37.40 € -5 %
Buy
Philosophical Issues in Tourism
42.15 €
Buy
Narrative Development of School Children
61.56 €
Buy
Tunnelling Phenomena in High and Low Tc Superconductors
119.49 €
Buy
Namen der franzoesischen Departements
37.40 € -6 %
Buy
future of inflight entertainment in Europe, according to passenger expectations
67.42 € -7 %
Buy
Alzheimer: 100 Years and Beyond
360.61 €
Buy
United Nations Convention on Contracts for the International Carriage of Goods Wholly or Partly by Sea
121.31 €
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 154 loyalty points

Book synopsis

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

61.56 €

Full title: Static Analysis
Subtitle: 4th International Symposium, Paris, France, September 8-10, 1997. Proceedings
Author: Pascal Van Hentenryck
Language: English
Binding: Paperback
Number of pages: 424
EAN: 9783540634683
ISBN: 3540634681
ID: 05274747
Publisher: Springer, Berlin
Weight: 551 g
Dimensions: 279 × 216 × 22 mm
Published: 1997