Software prototyping formal methods and VDM
| Main Author: | Hekmatpour, Sharam (-) |
|---|---|
| Other Authors: | Ince, Darrel (-) |
| Format: | Book |
| Bahasa: | eng |
| Terbitan: |
England :
Addison Wesley Publishing
, 1988
|
| Series: |
International Computer Science Series
|
| Subjects: |