Software prototyping, formal methods and VDM

Author(s)

• Hekmatpour, Sharam
• Ince, Darrel C.

Bibliographic Information

Software prototyping, formal methods and VDM

Sharam Hekmatpour, Darrel Ince

（International computer science series）

Addison-Wesley, c1988

Note

Includes index

Details

• NCID: BA06839290
• ISBN:
  • 020117572X
• LCCN: 88019400
• Country Code: us
• Title Language Code: eng
• Place of Publication: Reading, Mass.
• Pages/Volumes: 222 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.D47
  • DC19 : 005.1/1
• Subject Headings:
  • LCSH : Computer software -- Development
• Parent Bibliography ID:
  • BA00203522