Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656632
Price: 60.49 EUR
Availability: InStock
Author: Radhia Cousot
ISBN: 9783642157684

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Radhia Cousot

Matthieu Martel

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656632

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010

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

Libristo-Code: 01656632

148 b

60.49 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Neuronale Netze Heinrich Braun

Broschur

54.99 €

Entdecke das Mittelalter Albrecht Classen

Hardcover

18.29 €

Civilisation planétaire Daniel Robin

Broschur

19.89 €

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Buch

Broschur

22.49 €

Prise de bec Janer

Hardcover

17.69 €

Subjektivierung 2.0 Tanja Carstensen

Broschur

45.29 €

BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE

Broschur

26.89 €

Mein Taschencoach Susanne Marx

Broschur

7.95 €

Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert

Broschur

24.90 €

Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum

Blatt

11.39 €

Mobile Device Management Strategien Jan Hommes

Broschur

39.99 €

AMERICA DAVID MCCULLOUGH

Hardcover

22.29 €

Izraelská lobby a americká zahraniční politika John J. Mearsheimer

Broschur

11.19 €

Terapia logopedyczna Edyta Joanna Lichota

Broschur

12.99 €

Hizir Dokunsun Dualarina Mustafa Kaya

Broschur

13.69 €

Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A

Broschur

14.19 €

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).§The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

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 Radhia Cousot, Matthieu Martel

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 473

EAN 9783642157684

ISBN 3642157688

Libristo-Code 01656632

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

Gewicht 727

Abmessungen 157 x 235 x 28

Kategorie

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > 3D-Grafik und Modellierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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