Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568998
Price: 19928 HUF
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

136 b

19 928 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Hitze Sina de Malafosse

Paperback

4 447 Ft

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Paperback

5 355 Ft

Tomke gräbt Julia Dürr

Hardback

5 651 Ft

Discorsi di genere nelle politiche egiziane Haytham Mones

Paperback

12 472 Ft

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Paperback

24 875 Ft

Struttura Dell'Anima Jeffrey Wolf Green

Paperback

8 895 Ft

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Paperback

26 032 Ft

Diario de Campana Jose Marti y Perez

Adobe ePub DRM

380 Ft

Ernst Jünger Helmuth Kiesel

Paperback

6 808 Ft

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

Paperback

2 934 Ft

Lie Down In The Light Bonnie 'Prince' Billy

Audio CD

3 346 Ft

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Paperback

7 942 Ft

Es werde Licht Frido Mann

Paperback

5 267 Ft

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Printed items

Sheet music

7 044 Ft

La beauté du geste Rey

Paperback

6 928 Ft

Qualitative Sozialforschung Thomas Heinze

Paperback

14 634 Ft

Germanen und Slaven Georg Buschan

Paperback

4 549 Ft

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

Paperback

7 692 Ft

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Hardback

29 614 Ft

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Hardback

121 794 Ft

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

6 354 Ft

SAN JUDAS 27 (La catedral del dolor)

Paperback

8 645 Ft

Horoskopdeutung für den Vater Sina Nuêmo

Paperback

6 928 Ft

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.