|
|
|
|
| LEADER |
01298nam a2200217 a 4500 |
| 001 |
555141 |
| 005 |
20171111230019.0 |
| 008 |
081209s2009 enka b 001 0 eng |
| 020 |
|
|
|a 9781848822399 (hbk.)
|
| 040 |
|
|
|a UKM
|
| 050 |
|
|
|a QA76.76.V47
|b L37 2009
|
| 082 |
|
4 |
|2 22
|a 005.14
|
| 100 |
1 |
4 |
|a Łaski, Janusz
|
| 245 |
1 |
4 |
|a Software verification and analysis :
|b an integrated, hands-on approach /
|c Janusz Laski, William Stanley.
|
| 260 |
1 |
4 |
|a London, England :
|b Springer,
|c c2009.
|
| 300 |
1 |
4 |
|a xviii, 224 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
1 |
4 |
|a Includes bibliographical references and index.
|
| 505 |
1 |
4 |
|a Introduction : what do we want to know about the program? -- 1. Why not write correct software the first time? -- 2. How to prove a program correct : programs without loops -- 3. How to prove a program correct : iterative programs -- 4. Prepare test for any implementation : Black-Box testing -- 5. Intermediate Program Representation -- 6. Program dependencies -- 7. What can one tell about a program without its execution : static analysis -- 8. Is there a bug in the program? : structural program testing -- 9. Dynamic program analysis.
|
| 650 |
1 |
4 |
|a Computer software
|x Verification
|
| 700 |
1 |
4 |
|a Stanley, William
|
| 952 |
|
|
|a GrThPMO
|b 59b017876c5ad17d7e5ae042
|c 952a
|d 9528
|e QA76.76.V47L37 2009
|t 7
|x m
|z Books
|
