Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Static Analysis

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01568998

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

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Vollständige Beschreibung

Libristo-Code: 01568998

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La beauté du geste Rey

Broschur

15.79 €

Tomke gräbt Julia Dürr

Hardcover

17.00 €

Discorsi di genere nelle politiche egiziane Haytham Mones

Broschur

31.69 €

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Broschur

66.99 €

Lie Down In The Light Bonnie 'Prince' Billy

Audio CD

16.99 €

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Broschur

69.99 €

Diario de Campana Jose Marti y Perez

Adobe ePub DRM

1.09 €

Ernst Jünger Helmuth Kiesel

Broschur

20.00 €

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

Broschur

7.99 €

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Broschur

20.29 €

Hitze Sina de Malafosse

Broschur

13.00 €

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Drucksachen

Noten

15.99 €

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Broschur

11.69 €

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

Broschur

17.49 €

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Hardcover

74.60 €

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Hardcover

329.19 €

Qualitative Sozialforschung Thomas Heinze

Broschur

39.99 €

SAN JUDAS 27 (La catedral del dolor)

Broschur

23.29 €

Germanen und Slaven Georg Buschan

Broschur

12.90 €

Horoskopdeutung für den Vater Sina Nuêmo

Broschur

19.80 €

Es werde Licht Frido Mann

Broschur

15.00 €

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

17.19 €

Struttura Dell'Anima Jeffrey Wolf Green

Broschur

19.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Static Analysis

Autor Hanne Riis Nielson, Gilberto Filé

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 469

EAN 9783540740605

ISBN 3540740600

Libristo-Code 01568998

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 741

Abmessungen 155 x 235 x 27

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor

Broschur

56.99 €

March of Folly Barbara Wertheim Tuchman

Broschur

15.59 €

Paine Field Steve K. Bertrand

Broschur

16.89 €

Nols Bear Essentials John Gookin

Broschur

7.49 €

I Love You Every Second Sandra A. Hinds

Broschur

16.19 €

Recollections of Siberia Charles Herbert Cottrell

Hardcover

39.69 €

Hunger Knut Hamsun

Broschur

8.39 €

Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila

Broschur

119.49 €

Children of Morwena Helene Smith

Broschur

11.59 €

Swiss Neutrality EDGAR

Broschur

54.89 €

Transformative Witchcraft Jason Mankey

Broschur

13.89 €

ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON

Hardcover

34.79 €

Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne

Broschur

21.99 €

Middle Ages Eleanor Janega

Broschur

15.49 €

Mixed Race Student Politics James Ong

Broschur

13.19 €

Memoirs of the Life and Writings of James Montgomery: Including Selections from His Correspondence, Remains in Prose and Verse, and Conversations on V James Montgomery

Broschur

35.49 €