Formal Specification and Software Development
- ISBN-10
- 0133290034
- ISBN-13
- 9780133290035
- Pages
- 501
- Language
- English
- Published
- 1982
- Publisher
- Prentice/Hall International
- Authors
- Cliff B. Jones, Dines Bjørner
Description
Formal specification meta-language. VDM and programming languages. VDM and other systems.
