Specification of computer programs

Author(s)

• Turski, Władysław
• Maibaum, Thomas S. E.

Bibliographic Information

Specification of computer programs

Władysław M. Turski, Thomas S.E. Maibaum

（International computer science series）

Addison-Wesley, c1987

Note

Includes index

• NCID: BA01247873
• ISBN:
  • 0201142260
• LCCN: 86028900
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Woking, England ; Reading, Mass.
• Pages/Volumes: x, 278 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.O47
  • DC19 : 005.1
• Subject Headings:
  • LCSH : Computer software -- Development
  • LCSH : Electronic digital computers -- Programming
• Parent Bibliography ID:
  • BA00203522