Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Principles of Program Analysis

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

Flemming Nielson

Hanne Riis Nielson

Chris Hankin

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01566854

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 1999

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

Libristo kód: 01566854

195 b

80.70 €

Skladom u dodávateľa Odosielame za 10-13 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Pevná

52.54 €

Broderie perlée Haute-couture Kyoko Sugiura

Brožovaná

25.10 €

Cocuk Psikolojisi Jean Piaget

Brožovaná

12.24 €

Amor inmortal Kathryn Smith

Brožovaná

11.23 €

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

Pevná

55.18 €

Formelbuch der Harmonielehre Martin A. Schmid

Brožovaná

17.61 €

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Brožovaná

25.10 €

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

Hračka

5.26 €

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

Brožovaná

26.93 €

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

Brožovaná

31.28 €

Kaiser Maximilian I. Karl Klüpfel

Brožovaná

26.82 €

It Management Approach Essential Tomohisa Fujii

Brožovaná

36.34 €

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.