Specification and validation methods

Author(s)

• Börger, Egon

Bibliographic Information

Specification and validation methods

edited by Egon Börger

（International schools for computer scientists）

Clarendon Press, c1995

Note

Includes bibliographical references

• NCID: BA25560097
• ISBN:
  • 0198538545
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Oxford
• Pages/Volumes: 460 p.
• Size: 24 cm
• Classification:
  • DC20 : 004/.015113
• Subject Headings:
  • LCSH : Programming languages (Electronic computers)
• Parent Bibliography ID:
  • BA24352571