LEADER |
00741nam a2200193 a 4500 |
001 |
0015393 |
003 |
Th-MUT |
008 |
181106s9999 xx 000 0 eng d |
020 |
|
|
|a 0070305501
|c 195
|
040 |
|
|
|a DLC
|c MUT
|
050 |
|
4 |
|a QA76.6
|b H69F85
|
100 |
1 |
|
|a Howden, William E.
|
245 |
1 |
0 |
|a Functional program testing and analysis
|b /
|c William E. Howden
|
260 |
|
|
|a New York :
|b McGraw-Hill,
|c 1987
|
300 |
|
|
|a xii, 172 p.
|b : graphs
|c ; 21 cm.
|
440 |
|
0 |
|a McGraw-Hill computer science series
|
504 |
|
|
|a Includes bibliographies and index
|
650 |
|
0 |
|a Computer programs --
|x Testing.
|
991 |
|
|
|a MONOGRAPHS
|b 5
|c 2018-11-06 23:30:09
|d 2022-08-13 15:37:45
|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 1987
|v Functional programming using standard ML /
|