00736nam a2200181 a 450000500170000000800410001710000240005824500880008226000420017030000210021244000420023350000470027565000350032265000460035785200220040399900170042595201120044220190520020408.0090326s19uu    xx            00    eng d10aTurski, Vladyslaw M10aThe specification of computer programs /cVladyslaw M. Turski, Thomas S.E. Maibaum.0 aWorkingham :bAddison-Wesley,cc1987.  ax, 278 p. : ill. 0aInternational computer science series  aIncludes appendices, references, and index  aComputer softwarexDevelopment  aElectronic digital computersxProgramming  7OLOPSC9850.00Php  c31983d31983  00104070aCLLRCbCLLRCcCIRd2019-05-20l0oQA 76.76 D47 T87pCL1265r2023-07-10 00:00:00w2019-05-20yBK