Program derivation : the development of programs from specifications

Author(s)

• Dromey, R. G.

Bibliographic Information

Program derivation : the development of programs from specifications

Geoff Dromey

（International computer science series）

Addison-Wesley, c1989

• est.

Note

Includes bibliographical references

Details

• NCID: BA07858927
• ISBN:
  • 0201416247
• LCCN: 88008055
• Country Code: at
• Title Language Code: eng
• Place of Publication: Sydney ; Reading, Mass.
• Pages/Volumes: xvi, 630 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 005.1
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming
• Parent Bibliography ID:
  • BA00203522