Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568998
Price: 51.75 EUR
Availability: InStock
Author: Hanne Riis Nielson
ISBN: 9783540740605

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Hanne Riis Nielson

Gilberto Filé

Language

English

Book Paperback

Libristo code: 01568998

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2007

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Full description

Libristo code: 01568998

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Hitze Sina de Malafosse

Paperback

11.43 €

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Paperback

13.97 €

Tomke gräbt Julia Dürr

Hardback

14.47 €

Discorsi di genere nelle politiche egiziane Haytham Mones

Paperback

32.10 €

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Paperback

64.10 €

Struttura Dell'Anima Jeffrey Wolf Green

Paperback

23.18 €

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Paperback

67.55 €

Ernst Jünger Helmuth Kiesel

Paperback

17.51 €

Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen

Paperback

7.69 €

Lie Down In The Light Bonnie 'Prince' Billy

Audio CD

9.41 €

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Paperback

22.37 €

Es werde Licht Frido Mann

Paperback

13.56 €

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Printed items

Sheet music

19.84 €

La beauté du geste Rey

Paperback

19.54 €

Qualitative Sozialforschung Thomas Heinze

Paperback

37.87 €

Germanen und Slaven Georg Buschan

Paperback

11.74 €

Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne

Paperback

21.66 €

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Hardback

83.45 €

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Hardback

316.80 €

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

16.60 €

SAN JUDAS 27 (La catedral del dolor)

Paperback

22.37 €

Horoskopdeutung für den Vater Sina Nuêmo

Paperback

17.92 €

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence.§The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 85 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimisations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.