Software prototyping, format methods and VDM
| Main Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Wokingham, England :
Addison-Wesley ,
c1988
|
| Series: | International computer science series
|
| Subjects: |
| Physical Description: | 222 p. ; ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliography (p. 138-153) and index |
| ISBN: | 020117572X |