| LEADER |
00756nam a2200193 a 4500 |
| 001 |
0016138 |
| 003 |
Th-MUT |
| 008 |
181106s9999 xx 000 0 eng d |
| 020 |
|
|
|a 0201416247
|c 1343
|
| 040 |
|
|
|a DLC|MUT
|
| 050 |
|
4 |
|a QA76.6
|b D76P76
|
| 100 |
1 |
|
|a Dromey, Geoff
|
| 245 |
1 |
0 |
|a Program derivation : the development of programs from specifications
|b /
|c Geoff Dromey
|
| 260 |
|
|
|a New York :
|b Addison-Wesley,
|c 1989
|
| 300 |
|
|
|a vvi, 630 p. :
|c 23 cm.
|
| 440 |
|
0 |
|a International computer science series
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Computer programming.
|
| 991 |
|
|
|a MONOGRAPHS
|b 5
|c 2018-11-06 17:26:37
|d 2022-04-30 15:15:46
|e mut
|f n
|g null
|h n
|i a
|j m
|k
|l a
|m
|n a
|o
|p b
|q
|r nyu
|s eng
|t 1989
|v Program derivation : the development of programs from specifications /
|