Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Principles of Program Analysis

Language EnglishEnglish
Book Paperback
Book Principles of Program Analysis Flemming Nielson
Libristo code: 01653477
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2010
Program analysis utilizes static techniques for computing reliable information about the dynamic beh... Full description
? points 152 b
22 136 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

You might also be interested in

Reasons for the Protest [against the Papal Aggression of 1850]. William Steere / Book Paperback
common.buy 5 503 Ft
Musician's Survival Guide to a Killer Record Mixerman / Book Paperback
common.buy 8 994 Ft
serious proposal to the ladies, for the advancement of their true and greatest interest Mary Astell / Book Paperback
common.buy 10 177 Ft
Assassin's Creed Valhalla: Geirmund's Saga Matthew Kirby / Book Paperback
common.buy 4 117 Ft
Where Honor Leads Lynde Palmer / Book Paperback
common.buy 13 129 Ft
Asset Economy Melinda Cooper / Book Paperback
common.buy 7 534 Ft
Malnutrition and Intestinal Failure Lamprecht / Book Paperback
common.buy 18 867 Ft
Top
Daredevil By Chip Zdarsky Vol. 3: Through Hell Marco Checcetto / Book Paperback
common.buy 4 996 Ft
The World John Stott / Book Paperback
common.buy 5 839 Ft
My Lemon Grove Summer Jo Thomas / Book Paperback
common.buy 4 849 Ft
Our World 2 PRITCHARD CRANDALL S / Book Paperback
common.buy 17 743 Ft
Way You Make Me Feel Maurene Goo / Book Paperback
common.buy 7 856 Ft
Dichroscopes Made Easy Antionette Pg Matlins / Book Paperback
common.buy 1 856 Ft
Coming soon
Wonky Donkey Craig Smith / Book Paperback
common.buy 3 108 Ft
Top
Normal People Sally Rooney / Book Paperback
common.buy 3 357 Ft
Top
The Choice Edith Eva Eger / Book Paperback
common.buy 6 148 Ft
Top
Grammar in Use Intermediate Student's Book with Answers Raymond Murphy / Book Paperback
common.buy 10 702 Ft
Top
Restore Me Tahereh Mafi / Book Paperback
common.buy 3 021 Ft
Brianna's Love (The Loving and Faithful Sequel) Dorita Lynn Kornelsen / Book Paperback
common.buy 2 441 Ft
Baptism of Jesus the Christ Ralph Allan Smith / Book Hardback
common.buy 14 704 Ft
Top
Flowers Of Evil - Complete 2 The Shuzo Oshimi / Book Paperback
common.buy 6 981 Ft
Side-Lights on English Society Eustace Clare Grenville Murray / Book Paperback
common.buy 12 410 Ft
Couple Relationships in the 21st Century Jacqui Gabb / Book Paperback
common.buy 13 520 Ft
Cat in a Bag Angela M. Sanders / Book Paperback
common.buy 4 412 Ft

Program 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Principles of Program Analysis
Author Flemming Nielson, Hanne R. Nielson, Chris Hankin
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 452
EAN 9783642084744
ISBN 3642084745
Libristo code 01653477
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 698
Dimensions 156 x 233 x 29

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?