Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada principles of program analysis
Type
Physical Book
Publisher
Year
2010
Language
English
Pages
452
Format
Paperback
Dimensions
23.4x15.6x2.4 cm
Weight
0.66 kg.
ISBN
3642084745
ISBN13
9783642084744

principles of program analysis

Flemming Nielson (Author) · Hanne R. Nielson (Author) · Chris Hankin (Author) · Springer · Paperback

principles of program analysis - Nielson, Flemming ; Nielson, Hanne R. ; Hankin, Chris

Cheaper New Book Imported to Netherlands
Delivery: 12 Oct - 14 Oct Shipping: 15 to 16 business days.
€ 62,74
Faster New Book Imported to Netherlands
Delivery: 28 Sep - 30 Sep Shipping: 5 to 6 business days.
€ 69,09
Import costs and 9% BTW included in the price ✅
€ 62,74

Synopsis "principles of program analysis"

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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews