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 |