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 /
|