The specification of computer programs
By: Władysław M. Turski, Thomas S.E. Maibaum.
Contributors: Maibaum, Thomas S. E., 1947-
Series: International computer science series
Publisher: Addison-Wesley
Published: 1987
Place of publication: Wokingham
Language: eng
Number of pages: 278
Subjects: Electronic digital computers -- Programming.
Notes: Bibliography, p272-274. - Includes index.