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
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