|Listed in category:
Have one to sell?

Principles of Program Analysis

Condition:
Brand new
Postage:
Doesn't post to United States. See detailsfor delivery
Located in: Richmond, United States
Delivery:
Varies
Returns:
30-day returns. Buyer pays for return postage. See details- for more information about returns

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. 

Seller information

Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:404797736548
Last updated on 18 May, 2024 21:55:41 AESTView all revisionsView all revisions

Item specifics

Condition
Brand new: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
Brand
Springer
UPC
9783540654100
MPN
56 black & white illustrations, 51 black
Model No
56 black & white illustrations, 51 black
Country of Origin
USA, United States
Net Quantity/Number of Units
1
Dimensions (LxWxH) - Cms
6.5X1.25X9.5
ISBN-10
3540654100
ISBN-13
9783540654100
SKUASIN
DADAX3540654100
Edition
Corrected
No. of Pages
473
Book Title
Principles of Program Analysis
Item Length
6.5
ISBN
9783540654100
Publication Year
2004
Type
Textbook
Format
Hardcover
Language
English
Publication Name
Principles of Program Analysis
Item Height
234mm
Author
Chris Hankin, Flemming Nielson, Hanne R. Nielson
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Item Width
156mm
Subject
Computer Science
Item Weight
1890g
Number of Pages
452 Pages

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540654100
eBay Product ID (ePID)
95850328

Product Key Features

Author
Chris Hankin, Flemming Nielson, Hanne R. Nielson
Publication Name
Principles of Program Analysis
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2004
Type
Textbook
Number of Pages
452 Pages

Dimensions

Item Height
234mm
Item Width
156mm
Item Weight
1890g

Additional Product Features

Title_Author
Chris Hankin, Hanne R. Nielson, Flemming Nielson
Country/Region of Manufacture
Germany

Item description from the seller

Business seller information

Value Added Tax number:
  • AU 39716972532
  • IN AAECE2258D1ZW
ergodebooks_au

ergodebooks_au

75% positive Feedback
7.4K items sold
Joined Dec 2016
Usually responds within 24 hours

Product ratings and reviews

No ratings or reviews yet.
Be the first to write the review.