| 000 | 01149cam a22002174a 4500 | ||
|---|---|---|---|
| 005 | 20250605164116.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a18106 | ||
| 020 | _a201416611 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aThe Programming Process / An Introduction Using Vdm and Pascal | |
| 260 |
_bAddison-Wesley Publishing Company, _c1990 |
||
| 300 | _a542 | ||
| 520 | _aThis book explains the process of software development, featuring formal specifications, at the introductory level. Preface, Introduction, Find the Average of Some Numbers, What is the Maximum Salary, Match - Snatch - A Variation on Nim, Telegraph Analysis, Time-Date Display Program, Interchangeable Parts System, Key Word in Context, Dynamic Data Types of KWIC, String Search - A Simple Software Tool, Specification of the String Package, Birds and Bees, Implementation of the Strings Package, Birds and Bees, Implementation of the Strings Package, Bibliography, Index. | ||
| 700 | 1 |
_aBush J. Vicky _94396 |
|
| 700 | 1 |
_aCottam D. Ian _94397 |
|
| 700 | 1 |
_aLatham T. John _94398 |
|
| 942 | _cBK | ||
| 999 |
_c3490 _d3490 |
||