|
|
|
|
| LEADER |
00700nam a2200181 a 4500 |
| 001 |
961920 |
| 005 |
20171111231430.0 |
| 008 |
980630s1987 enk eng |
| 020 |
|
|
|a 0201142260
|
| 050 |
|
4 |
|a QA76.76.D47
|b T87 1987
|
| 100 |
1 |
|
|a Turski, Wladyslaw
|
| 245 |
1 |
4 |
|a The specification of computer programs /
|c Wladyslaw M. Turski, Thomas S. E. Maibaum.
|
| 260 |
|
|
|a London Reading :
|b Addison-Wesley Pub.,
|c [1970].
|a Reading, Mass. :
|
| 300 |
|
|
|a x, 278 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 700 |
1 |
|
|a Maibaum, Thomas S. E.,
|
| 952 |
|
|
|a GRHeTEI
|b 59ccc4d16c5ad134460803c1
|c 998a
|d 945l
|e QA76.76.D47 T87 1987
|t 1
|x m
|z Books
|
