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, England; Reading, Mass
Language: eng
Number of pages: 278
Subjects: Computer software -- Development.; Computer programming.
Notes: Bibliography: p. 272-274.
Includes index.