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

Principles of Program Analysis

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

174 b

70.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Hardcover

45.79 €

Unterwegs im Heidekreis (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Kalender

22.99 €

Skyshade. Lightlark. Tom 3 Alex Aster

Broschur

8.79 €

Winterland Wunderland Original Amiga Klassiker

Audio CD

10.99 €

Cocuk Psikolojisi Jean Piaget

Broschur

10.79 €

Broderie perlée Haute-couture Kyoko Sugiura

Broschur

20.29 €

Amor inmortal Kathryn Smith

Broschur

8.99 €

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

Broschur

23.69 €

Formelbuch der Harmonielehre Martin A. Schmid

Broschur

19.50 €

It Management Approach Essential Tomohisa Fujii

Broschur

31.99 €

Kubeczek z blokadą wylania Astra

Papier- und Schreibwaren

1.79 €

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

Broschur

35.00 €

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Broschur

27.95 €

Kaiser Maximilian I. Karl Klüpfel

Broschur

29.90 €

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

Hardcover

54.39 €

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

Spielzeug

6.35 €

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