eBay |
Principles of Program Analysis by Chris Hankin, Hanne Riis Nielson, Flemming Nielson (Paperback, 2010)
Be the first to write a review.
OUR TOP PICK
$137.95
+ $50.00 postageQuantity
5 available
Condition
Brand new
Sold by
ausreseller (120082)97.6% Positive Feedback
Delivery
Est. 1 Aug - 11 AugFrom Australia
Returns
No returns, but backed by eBay Money Back Guarantee
Best-selling in Non-Fiction Books
5 Love Languages: The Secret to Love That Lasts by Gary Chapman (Paperback, 2014)
TRENDING PRICE
- AU $22.64New
Vanishing Towns: Tasmania's Ghost Towns and Settlements by Michael Holmes (Hardback, 2014)
TRENDING PRICE
- AU $65.90New
Learn to Draw Birds Bird Anatomy for Artists by Natalia Balo
TRENDING PRICE
- AU $40.42New
Behold a Pale Horse by Milton Cooper (Paperback, 1995)
TRENDING PRICE
- AU $32.61New
The Spinal Nerves Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2001)
TRENDING PRICE
- AU $20.08New
Anatomy of the Heart Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2004)
TRENDING PRICE
- AU $19.67New
Save on Non-Fiction Books
Becoming A Supple Leopard Starrett Kelly 9781628600834
AU $52.98Trending at AU $79.02The Ultimate Sniper: An Advanced Training Manual for Military and Police...
AU $70.86Trending at AU $126.46The Power of Positive Thinking: A Practical Guide to Mastering the Problems of E
AU $6.90Trending at AU $10.41Wing Chun: Traditional Chinese Kung Fu for Self-Defense and Health Ip Chun/ Mich
AU $26.88Trending at AU $29.42Leather Braiding by B. Grant (Paperback, 2007)
AU $16.68Trending at AU $22.22Huggens Kim/ Dunne Erik C.-Illuminati Tarot Kit (US IMPORT) ACC NEW
AU $36.48Trending at AU $41.31Learn to Draw Birds: Bird Anatomy for Artists, by Natalia Balo
AU $40.00Trending at AU $40.55
You may also like
About this product
Description
- DescriptionProgram analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
Key Features
- Author(s)Chris Hankin,Flemming Nielson,Hanne Riis Nielson
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication01/12/2010
- LanguageEnglish
- FormatPaperback
- ISBN-103642084745
- ISBN-139783642084744
- SubjectComputing: Professional & Programming
Publication Data
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content Note51 black & white tables
Dimensions
- Weight724 g
- Width156 mm
- Height234 mm
- Spine24 mm
Editorial Details
- Format DetailsTrade paperback (US)
- Edition StatementSoftcover reprint of hardcover 1st ed. 1999
This item doesn't belong on this page.
Thanks, we'll look into this.