Principles of Program Analysis
Autor Flemming Nielson, Hanne R. Nielson, Chris Hankinen Limba Engleză Paperback – dec 2010
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 341.30 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – dec 2010 | 341.30 lei 6-8 săpt. | |
Hardback (1) | 518.84 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 22 oct 1999 | 518.84 lei 6-8 săpt. |
Preț: 341.30 lei
Preț vechi: 426.63 lei
-20% Nou
Puncte Express: 512
Preț estimativ în valută:
65.32€ • 67.67$ • 54.51£
65.32€ • 67.67$ • 54.51£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642084744
ISBN-10: 3642084745
Pagini: 476
Ilustrații: XXI, 452 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.66 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642084745
Pagini: 476
Ilustrații: XXI, 452 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.66 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
1 Introduction.- 2 Data Flow Analysis.- 3 Constraint Based Analysis.- 4 Abstract Interpretation.- 5 Type and Effect Systems.- 6 Algorithms.- A Partially Ordered Sets.- A.1 Basic Definitions.- A.2 Construction of Complete Lattices.- A.3 Chains.- A.4 Fixed Points.- Concluding Remarks.- B Induction and Coinduction.- B.1 Proof by Induction.- B.2 Introducing Coinduction.- B.3 Proof by Coinduction.- Concluding Remarks.- C Graphs and Regular Expressions.- C.1 Graphs and Forests.- C.2 Reverse Postorder.- C.3 Regular Expressions.- Concluding Remarks.- Index of Notation.
Caracteristici
The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionals Tested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhagen, Schloss Dagstuhl International Conference and Research Center Power Point transparencies will be made available online Includes supplementary material: sn.pub/extras