Syntax and semantics of VVSL : a language for structured VDM specifications

Type:

thesis

Titel:

Syntax and semantics of VVSL : a language for structured VDM specifications

Auteur:

Middelburg, Cornelis Adam; Universiteit Amsterdam

Jaar:

1990

Onderwerp:

Beschrijvingstalen
VVSL

Taal:

Onbepaald

Uitgever:

Amsterdam : s.n., 1990

Plaatsnummer:

KANTL.D13B8 (Koninklijke Academie voor Nederlandse Taal- en Letterkunde)

Paginering:

IV, 395 p.

Samenvatting:

Diss. doct.

Permalink:

https://www.cageweb.be/catalog/cgw01:000554928