Practical formal methods with VDM
| Main Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Berkshire, England :
McGraw-Hill ,
c1991
|
| Subjects: |
| Physical Description: | xvi, 450 p. ; 24 cm. |
|---|---|
| Bibliography: | Includes index |
| ISBN: | 0077072146 |