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

Principles of Program Analysis

Name: Principles of Program Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566854
Price: 84.09 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

206 b

84.09 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Hardcover

71.59 €

Broderie perlée Haute-couture Kyoko Sugiura

Broschur

25.89 €

Cocuk Psikolojisi Jean Piaget

Broschur

12.69 €

Amor inmortal Kathryn Smith

Broschur

11.69 €

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

Hardcover

56.59 €

Formelbuch der Harmonielehre Martin A. Schmid

Broschur

19.50 €

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Broschur

27.95 €

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

Spielzeug

6.35 €

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

Broschur

29.49 €

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

Broschur

35.00 €

Kaiser Maximilian I. Karl Klüpfel

Broschur

29.90 €

It Management Approach Essential Tomohisa Fujii

Broschur

39.69 €

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