Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Principles of Program Analysis

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

Flemming Nielson

Hanne Riis Nielson

Chris Hankin

Language

English

Book Hardback

Libristo code: 01566854

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 1999

Program analysis concerns static techniques for computing reliable approximate information about the... Full description

Libristo code: 01566854

212 b

32 317 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

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

Hardback

20 240 Ft

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

Calendar

8 248 Ft

Skyshade. Lightlark. Tom 3 Alex Aster

Paperback

4 275 Ft

Winterland Wunderland Original Amiga Klassiker

Audio CD

4 779 Ft

Cocuk Psikolojisi Jean Piaget

Paperback

4 856 Ft

Broderie perlée Haute-couture Kyoko Sugiura

Paperback

9 112 Ft

Amor inmortal Kathryn Smith

Paperback

4 107 Ft

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

Paperback

11 291 Ft

Formelbuch der Harmonielehre Martin A. Schmid

Paperback

7 078 Ft

It Management Approach Essential Tomohisa Fujii

Paperback

15 230 Ft

Kubeczek z blokadą wylania Astra

Stationery items

854 Ft

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

Paperback

12 615 Ft

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Paperback

10 086 Ft

Kaiser Maximilian I. Karl Klüpfel

Paperback

10 787 Ft

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

Hardback

25 307 Ft

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

Toy

2 102 Ft

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.