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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Static Analysis

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

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Hitze Sina de Malafosse

Broschur

13.00 €

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Broschur

14.49 €

Tomke gräbt Julia Dürr

Hardcover

17.00 €

Discorsi di genere nelle politiche egiziane Haytham Mones

Broschur

33.59 €

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Broschur

66.99 €

Struttura Dell'Anima Jeffrey Wolf Green

Broschur

24.09 €

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Broschur

70.29 €

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 €

Lie Down In The Light Bonnie 'Prince' Billy

Audio CD

16.99 €

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Broschur

22.99 €

Es werde Licht Frido Mann

Broschur

15.00 €

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Drucksachen

Noten

20.39 €

La beauté du geste Rey

Broschur

20.09 €

Qualitative Sozialforschung Thomas Heinze

Broschur

39.99 €

Germanen und Slaven Georg Buschan

Broschur

12.90 €

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

Broschur

22.29 €

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Hardcover

86.29 €

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Hardcover

329.19 €

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

17.19 €

SAN JUDAS 27 (La catedral del dolor)

Broschur

23.29 €

Horoskopdeutung für den Vater Sina Nuêmo

Broschur

19.80 €

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