00695nam a2200169 a 4500 20190520020408.0 090326s19uu xx 00 eng d Turski, Vladyslaw M The specification of computer programs / Vladyslaw M. Turski, Thomas S.E. Maibaum. Workingham : Addison-Wesley, c1987. x, 278 p. : ill. International computer science series Includes appendices, references, and index Computer software Development Electronic digital computers Programming OLOPSC 850.00Php 31983 31983 0 0 0 0 CLLRC CLLRC CIR 2019-05-20 0 QA 76.76 D47 T87 CL1265 2023-07-10 00:00:00 2019-05-20 BK