Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Principles of Program Analysis

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

Flemming Nielson

Hanne Riis Nielson

Chris Hankin

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01566854

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 1999

Program analysis concerns static techniques for computing reliable approximate information about the... Celý popis

Libristo kód: 01566854

184 b

1 843 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Pevná

1 332 Kč

Broderie perlée Haute-couture Kyoko Sugiura

Brožovaná

529 Kč

Cocuk Psikolojisi Jean Piaget

Brožovaná

280 Kč

Amor inmortal Kathryn Smith

Brožovaná

272 Kč

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

Pevná

1 333 Kč

Formelbuch der Harmonielehre Martin A. Schmid

Brožovaná

400 Kč

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Brožovaná

571 Kč

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

Hračka

141 Kč

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

Brožovaná

651 Kč

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

Brožovaná

713 Kč

Kaiser Maximilian I. Karl Klüpfel

Brožovaná

610 Kč

It Management Approach Essential Tomohisa Fujii

Brožovaná

878 Kč

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.