|
|
|
|
| LEADER |
01393nam a22003017a 4500 |
| 001 |
524663 |
| 008 |
121005t20042010xxe ||| |||| 00| 0 eng d |
| 009 |
PPN164505806 |
| 020 |
|
|
|a 9783642084744 (br.)
|
| 024 |
|
|
|a 9783642084744
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 005.1
|
| 084 |
|
|
|a 68-01. 2000
|
| 084 |
|
|
|a 68N15. 2000
|
| 084 |
|
|
|a 68N20. 2000
|
| 084 |
|
|
|a F.3
|
| 100 |
1 |
|
|a Nielson, Flemming,
|d 1955-
|
| 245 |
1 |
0 |
|a Principles of program analysis
|c Flemming Nielson, Hanne Riis Nielson, Chris Hankin.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c 2004, cop. 2010.
|
| 300 |
|
|
|a 1 volume (xxi-452 pages) ;
|c 24 cm.
|
| 500 |
|
|
|a Daté (2004) d'après la préface
|
| 504 |
|
|
|a Bibliographie p. [439]-452. Index
|
| 505 |
0 |
|
|a 1. Introduction -- 2. Data flow analysis -- 3. Constraint based analysis -- 4. Abstract interpretation -- 5. Type and effect systems -- 6. Algorithms -- Appendices. A. Partially ordered sets ; B. Induction and coinduction ; C. Graphs and regular expressions
|
| 650 |
|
|
|a Génie logiciel
|x Programmation (informatique)
|
| 650 |
|
|
|a Logiciels
|x Vérification
|x Manuels d'enseignement supérieur
|x Problèmes et exercices
|
| 700 |
1 |
|
|a Nielson, Hanne Riis,
|d 1954-
|4 aut
|
| 700 |
1 |
|
|a Hankin, Chris,
|d 1954-
|4 aut
|
| 997 |
|
|
|0 524663
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/BU Sciences, Technologies, STAPS/
|z Orléans, BU Sciences, Technologies, STAPS, 005.1 NIE
|
