Code: 01559682

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01559682
Price: 51.68 EUR
Availability: InStock
Author: Roberto Giacobazzi
ISBN: 9783540227915

by Roberto Giacobazzi

Language: English
Binding: Paperback
Number of pages: 396
Publisher: Springer, Berlin, 2004
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Just Stupid!
10.11 € -19 %
Buy
Men Who Can't Love
12.94 € -19 %
Buy
Twenty Years After
21.23 € -25 %
Pre-order
Veľká Fatra 1:50 000
5.76 € -17 %
Buy
Jerusalem
26.80 € -11 %
Buy
Zaungast ermittelt in der Pattstrasse
10.71 € -10 %
Buy
Clinical Management of Memory Problems (2nd Edn) (PLE: Memory)
66.85 €
Buy
Das Getreidesieb
8.99 € -10 %
Buy
Hrubý Jeseník
1.51 € -25 %
Buy
Seminarunterlage Word 2003 Tipps und Tricks
13.54 € -10 %
Buy
Exercices orthographiques
31.25 € -14 %
Buy
Genders, Races, and Religious Cultures in Modern American Poetry, 1908-1934
53.40 €
Buy
Die Realen Grundlagen Und Die Stoffe Des Rechts
25.38 € -2 %
Buy
L'Arc en Ciel Numérologique 2020 - 9
29.83 €
Buy
Kooperation Ungarns und Rumaniens mit dem Deutschen Reich 1933-1945 - Struktureller Zwang oder Bandwagoning for Profit?
17.09 € -10 %
Buy
Bauplan-Kollektion für Einsteiger und Profis. Bd.1
13.54 € -10 %
Buy
Broken Vows
10.31 € -2 %
Buy
Adaptive Interference Mitigation in GNSS
144.04 € -7 %
Buy
Brunhild
15.16 € -10 %
Buy
Emerging Technologies for Smart Cities
102.97 € -7 %
Buy
Family of Fallen Leaves
83.85 €
Buy
Der Urlaubshund
11.72 € -10 %
Buy
Disorders of the Platelets, An Issue of Hematology/Oncology Clinics of North America
91.54 €
Buy
Macromolecular Crystallography Protocols, Volume 2
109.44 €
Buy
Interpretationswelten
26.90 € -4 %
Buy
Psychological Keys to Student Success
9.80 € -6 %
Buy
Thomas Jefferson's Paris
101.15 €
Buy
Viajero de Las Arenas
15.47 €
Buy
Pineal Organ, Its Hormone Melatonin, and the Photoneuroendocrine System
102.97 € -7 %
Buy
Competitive-cum-Cooperative Interfirm Relations and Dynamics in the Japanese Semiconductor Industry
98.11 €
Buy
Women's Movements in the United States and Britain from the 1790s to the 1920s
278.68 €
Buy
Two Families In One Paper Reunion: A Priceless Experience
22.65 € -6 %
Buy
Les Lesage - Un siècle d'architecture et d'aménagement - De Paris au Grand Paris
39.14 €
Buy
Life in the Wilds of America
28.41 € -24 %
Buy
Creative (Climate) Communications
95.08 €
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 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.68 €

Full title: Static Analysis
Subtitle: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Author: Roberto Giacobazzi
Language: English
Binding: Paperback
Number of pages: 396
EAN: 9783540227915
ISBN: 3540227911
ID: 01559682
Publisher: Springer, Berlin
Weight: 620 g
Dimensions: 234 × 156 × 21 mm
Published: 2004