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 :-(

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658754
Price: 60.39 EUR
Availability: InStock
Author: Eran Yahav
ISBN: 9783642237010

18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav

Sprache

Englisch

Buch Broschur

Libristo-Code: 01658754

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

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

Libristo-Code: 01658754

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Sirilsiklam Asik Jill Shalvis

Broschur

13.69 €

Kam se ztratila zvířátka Pavla Hanáčková

Hardcover

9.49 €

Game of Thrones 4 George Raymond Richard Martin

Hardcover

32.00 €

Ketogen Food Tracker: A5 Ernährungstagebuch für über 110 Tage - Tagebuch - Ernährungstagebuch - Ketogene Diät - Abnehmtagebuch Ketogen Ernahrungstagebuch

Broschur

7.89 €

Las confesiones ROUSSEAU

Broschur

25.09 €

Spiegeltherapie in Physiotherapie und Ergotherapie Farsin Hamzei

Broschur

34.99 €

Neurologie Delpech

Broschur

14.09 €

Ballades d'amour du North end Katherena VERMETTE Buch

Broschur

17.39 €

DOPPLER COLOR KREBS Y OTROS

Buch

76.59 €

Pešo do neba Dušan Dušek

Hardcover

10.39 €

Freiheit bei Martin Luther Anja Lobenstein-Reichmann

Hardcover

237.49 €

Jim Knopf und die Wilde 13 - Die Komplettlesung, Audio-CD Michael Ende

Audio CD

20.59 €

Andres krestinov. täie rauaga

Hardcover

54.29 €

Turbulence Dans Les Plasmas de Vent Solaire Et Tokamaks Dong-Y

Broschur

48.49 €

Neue Geschichten aus dem Harz Günter Richter

Broschur

21.90 €

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. §The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.§The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

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 Eran Yahav

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 387

EAN 9783642237010

ISBN 3642237010

Libristo-Code 01658754

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

Gewicht 611

Abmessungen 155 x 235 x 28

Kategorie

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

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

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