000 00706nam a2200229u 4500
001 00784419
003 PWmBRO
005 20240602101629.0
008 861121s1987 enka b 00110 eng
020 _a0201142260 :
_c 17.95
050 0 _aQA76.76.O47
_bT87 1987
082 0 _a005.1�19
090 0 0 _b005.1/T961s
100 1 0 _aTurski, W adys aw.
245 1 4 _aThe specification of computer programs /
_cW ads aw M. Turski, Thomas S.E. Maibaum.
260 0 _aWokingham, England ;
_aReading, Mass. :
_bAddison-Wesley,
_cc1987.
300 _ax, 278 p. :
_bill.
650 0 _aComputer software
_xDevelopment.
650 0 _aComputer programming
700 1 0 _aMaibaum, Thomas S. E.,
_d1947-
942 _2ddc
999 _c45670
_d45670