|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000045341 |
| 005 |
20090415093000.0 |
| 008 |
090204s1996 enk eng |
| 020 |
|
|
|a 0132422077
|
| 020 |
|
|
|a 9780132422079
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b P68 1996
|
| 100 |
1 |
|
|a Potter, Ben ,
|e author
|
| 245 |
1 |
3 |
|a An introduction to formal specification and Z
|c Ben Potter, Jane Sinclair, David Till
|
| 250 |
|
|
|a 2nd ed
|
| 260 |
|
|
|a London ;
|a New York :
|b Prentice Hall ,
|c c1996
|
| 300 |
|
|
|a xiv, 434 p. :
|b ill. ;
|c 23 cm.
|
| 440 |
|
0 |
|a Prentice-Hall international series in computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. 414-418) and index
|
| 505 |
0 |
|
|a 1. Formal specification in the context of software engineering -- 2. An formal introduction to logic and set theory -- 3. A first specification -- 4. The Z notation: the mathematical language -- 5. The Z notation: relations and functions -- 6. The Z notation: schemes and specification structure -- 7. A first specification revisited -- 8. Camp energy: a case study -- 9. Formal reasoning -- 10. From specification to program: data and operation refinement -- 11. From specification to program: operation decomposition -- 12. From theory to practice
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 650 |
|
0 |
|a Z (Computer program language)
|
| 700 |
1 |
|
|a Sinclair, Jane ,
|e author
|
| 700 |
1 |
|
|a Till, David ,
|e author
|
| 999 |
|
|
|a 1000114668
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|