Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.99 € Kurier Hermes 5.49 € Kurier DHL 4.49 € Punkt Hermes 4.99 € Punkt DPD 3.49 € Kurier GLS 5.49 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Język

Angielski

Książka Twarda

Kod Libristo: 01566854

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 1999

Program analysis concerns static techniques for computing reliable approximate information about the... Cały opis

Kod Libristo: 01566854

206 b

84.09 € včetně DPH

Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Skyshade. Lightlark. Tom 3 Alex Aster

Miękka

10.19 €

Broderie perlée Haute-couture Kyoko Sugiura

Miękka

20.89 €

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

Twarda

65.09 €

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

Zabawka

6.35 €

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

Miękka

28.79 €

It Management Approach Essential Tomohisa Fujii

Miękka

38.79 €

Kubeczek z blokadą wylania Astra

Artykuły papiernicze

2.69 €

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Miękka

27.95 €

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

Miękka

35.01 €

Amor inmortal Kathryn Smith

Miękka

10.49 €

Cocuk Psikolojisi Jean Piaget

Miękka

12.00 €

Winterland Wunderland Original Amiga Klassiker

CD Audio

11.89 €

Formelbuch der Harmonielehre Martin A. Schmid

Miękka

19.50 €

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

Twarda

52.09 €

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.