| 000 | 00911nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20250725170025.0 | ||
| 008 | 250725b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9780387984179 _qpbk |
||
| 041 | _aeng | ||
| 082 |
_a005.14 _bBAC |
||
| 100 | _a Back, Ralph-johan | ||
| 245 |
_a Refinement Calculus : A Systematic Introduction _c/Ralph-Johan Back, Joakim von Wright |
||
| 260 |
_a New York, _bSpringer, _c1998. |
||
| 300 |
_a xv, 519 p. ; _c 24 cm |
||
| 504 | _aindex | ||
| 520 | _aMuch current research in computer science is concerned with two questions: is a program correct? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement | ||
| 650 | _a Programmazione Sequenziale Verifica Dei Programmi | ||
| 942 | _cENGLISH | ||
| 999 |
_c577451 _d577451 |
||