Syntax and semantix of VVSL : a language for structured VDM specifications
Cornelis Adam Middelburg
Bok Engelsk 1989
| Utgitt | Leidschendam : PTT Research , c1989
|
|---|---|
| Omfang | 395 s.
|
| Opplysninger | Avhandling (doktorgrad) - Universiteit van Amsterdam, 1990
|
| Emner |
