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: 01567843
Price: 53.79 EUR
Availability: InStock
Author: María Alpuente
ISBN: 9783540691631

15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

María Alpuente

Germán Vidal-Oriola

Sprache

Englisch

Buch Broschur

Libristo-Code: 01567843

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2008

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

Libristo-Code: 01567843

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

RS02 KA-ZAR SHANNA Y OTROS PERSONAJES ANDRU

Hardcover

24.29 €

Que Grande Eres Papa! Isabella Paglia

Hardcover

15.29 €

Solution de Toutes Les Difficultes de l'Etude, Enseignement Buessard. Volume 1 BUESSARD-P

Broschur

30.19 €

Les Epreuves d'Etienne (4e Edition) Girardin-J

Broschur

26.09 €

Algorithmes D Apprentissage Incr mentaux Du Syst me Neuronal B ta Habib Dhahri

Broschur

37.29 €

Jugendkriminalität im Township Aline Oehmig

Broschur

71.69 €

Entdeckungsreisen in Nord- und Mittelafrika von James Richardson, Adolf Overweg, Heinrich Barth und Eduard Vogel Karl Arenz

Broschur

29.39 €

Erleuchtungsweg eines Westlichen Adepten Spirituelle Autobiografie Erleuchtungsweg Eines Westlichen Adepten Satguru Sirio

Broschur

11.10 €

Man kann nicht nicht unterhalten Ursula Ganz-Blättler

Hardcover

23.59 €

Brain Drain oder Brain Circulation? Jenny Neuber

Broschur

17.95 €

Enzensbergers Panoptikum Hans M. Enzensberger

Broschur

16.49 €

Kontaktzone Lahn Kai Ruffing

Broschur

40.00 €

Kardinál Miloslav Vlk Miloslav Vlk

Audio CD

3.99 €

Čas marných nadějí Jiří Svejkovský

Hardcover

6.69 €

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.§The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, 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 María Alpuente, Germán Vidal-Oriola

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 379

EAN 9783540691631

ISBN 3540691634

Libristo-Code 01567843

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

Gewicht 605

Abmessungen 155 x 235 x 22

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