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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Principles of Program Analysis

Name: Principles of Program Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566854
Price: 80.68 EUR
Availability: InStock
Author: Flemming Nielson
ISBN: 9783540654100

Flemming Nielson

Hanne Riis Nielson

Chris Hankin

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01566854

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 1999

Program analysis concerns static techniques for computing reliable approximate information about the... Vollständige Beschreibung

Libristo-Code: 01566854

195 b

80.68 €

Externes Lager Wir versenden in 10-13 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Formelbuch der Harmonielehre Martin A. Schmid

Broschur

17.61 €

Broderie perlée Haute-couture Kyoko Sugiura

Broschur

25.10 €

Cocuk Psikolojisi Jean Piaget

Broschur

12.14 €

Amor inmortal Kathryn Smith

Broschur

11.23 €

Moderne Kunst 1870-2000. Vom Impressionismus bis heute, m. 2 Buch Hans Werner Holzwarth

Hardcover

55.17 €

Sens- und Nonsens-Gedichte - Das Beste aus Band 1-3 Brigitte Riederer

Broschur

31.27 €

Čezeta a skútry J.F.Kocha Martin Kusý

Hardcover

68.83 €

Škrabací obrázky 8ks Mořští tvorové

Spielzeug

6.06 €

BABADADA, slovensčina - portugues, Slikovni slovar - dicionario de imagens BABADADA GMBH

Broschur

29.86 €

Kaiser Maximilian I. Karl Klüpfel

Broschur

26.82 €

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Broschur

25.10 €

It Management Approach Essential Tomohisa Fujii

Broschur

40.18 €

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

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 Principles of Program Analysis

Autor Flemming Nielson, Hanne Riis Nielson, Chris Hankin

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1999

Anzahl der Seiten 452

EAN 9783540654100

ISBN 3540654100

Libristo-Code 01566854

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

Gewicht 872

Abmessungen 163 x 240 x 32

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