Code: 01662058

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662058
Price: 51.65 EUR
Availability: InStock
Author: Antoine Mine
ISBN: 9783642331244

by Antoine Mine, David Schmidt

Language: English
Binding: Paperback
Number of pages: 457
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
More about this

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Coraline Graphic Novel
7.88 € -29 %
Buy
Obey
35.47 € -24 %
Buy
The Lost Heir (Wings of Fire #2)
7.27 € -24 %
Buy
Goblin Slayer, Vol. 13 (light novel)
12.42 € -21 %
Buy
Healing the Broken Brain
14.85 € -9 %
Buy
scambio
25.06 €
Buy
Alfa Romeo Schrauberhandbuch
49.43 € -17 %
Buy
Triada, Predestinación
15.76 €
Buy
Nebe voní tebou
2.82 € -31 %
Buy
wols / catalogue de l'exposition
50.33 €
Buy
Rita Moreno
21.42 € -18 %
Buy
Frozen Planet, The Blue Planet, Planet Earth: Das Klavieralbum
20.01 €
Buy
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes
24.66 € -7 %
Buy
Excel in CRE
14.04 € -7 %
Buy
Powieści Marguerite Duras
46.70 € -14 %
Buy
Puzzle 20 maxi Trzy małe świnki C-02399
8.99 € -1 %
Buy
How to Draw Barnyard Animals and Farm Friends! Activity Book
8.28 € -2 %
Buy
La conspiración contra la especie humana
20.51 € -6 %
Buy
Nelson Thornes Framework English Skills in Fiction 2
30.42 €
Buy
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work
30.92 € -22 %
Buy
Superconductivity (Revised Edition)
30.22 €
Buy
Darwinism and its Discontents
37.09 €
Buy
The Battle for the Mind
10.20 € -17 %
Buy
They Say I've Had a Stroke: A Stroke Survivor's Journey
26.88 € -7 %
Buy
Les outils qualitatifs en géographie - 2e éd.
31.03 €
Buy
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination
17.07 €
Buy
Wall Street Women
128.18 €
Buy
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef
11.51 € -6 %
Buy
Foucaults soziohistorische Theorie der Biomacht und die Eugenik
25.06 € -11 %
Buy
The Fowl Twins
30.12 €
Buy
PLAY BETTER TENNIS IN TWO HOURS
21.42 € -18 %
Buy
Creation du Boxeur Ultime: Apprenez les secrets et les astuces utilises par les meilleurs boxeurs et entraineurs professionnels pour ameliorer vo
22.53 € -7 %
Buy
Luc Van Tien CA Dien (Ed.1883)
27.99 €
Buy
Memoires de Vidocq, Chef de la Police de Surete Jusqu'en 1827. Tome 4
28.80 €
Buy
BABADADA, Cymraeg - Schwiizerdutsch, geiriadur lluniau - Bildwoerterbuech
26.88 € -7 %
Buy
Diego Rivera
51.35 €
Buy
Genealogical Abstracts of the Laws of Pennsylvania and the Statutes at Large
29.81 € -10 %
Buy
Works of Lord Byron, Volume 2
38.20 € -1 %
Buy
From Troublesome Creek
16.17 € -24 %
Buy
Chioggia and the Villages of the Venetian Lagoon
90.27 €
Buy
Introduction to Criminology
178.22 €
Buy
El libro de los besos y la niebla
19.91 €
Buy
Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719)
24.05 €
Buy
ANNALES BAC 2011 SC ECO ES OBL
9.90 €
Buy
Österreichisches Wohnrecht. Kommentar
187.92 € -7 %
Buy
A Challenge to Adventure
32.74 € -2 %
Buy
Dialect Change
60.04 €
Buy
Mes livres mon carnet de lecture
9.39 € -6 %
Buy
Optische Rhetorik
26.78 € -11 %
Buy
Science Studies Reader
233.42 €
Buy
Snowflakes, Cakes and Royal Mistakes
14.85 € -1 %
Buy
International Relations Theory and Ecological Thought
233.42 €
Buy
Los puritanos y otros cuentos
7.27 € -6 %
Buy
Antithesis
14.04 € -6 %
Buy
Token for Mourners
29.21 € -1 %
Buy
Vehicle Dynamics, Stability, and Control
244.34 €
Buy
Schattenvolk
17.88 € -11 %
Buy
Computer Aided Constellation Management and Communication Satellites
287.71 € -7 %
Buy
Mapai in Israel: Political Organisation and Government in a New Society
45.89 €
Buy
Discarded Wings
11.72 €
Buy
An Introduction to Waste Stream Treatment by Precipitation
26.07 € -6 %
Buy
Biblical Interpretation and Philosophical Hermeneutics
34.46 €
Buy
Re-Enchantment
261.82 €
Pre-order

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 thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

51.65 €

Full title: Static Analysis
Subtitle: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Author: Antoine Mine, David Schmidt
Language: English
Binding: Paperback
Number of pages: 457
EAN: 9783642331244
ISBN: 3642331246
ID: 01662058
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 718 g
Dimensions: 235 × 155 × 26 mm
Date of publishing: 03. August 2012