Syntax and Semantics of VVSL. A Language for Structured VDM

Cornelis Adam Middelburg

44864

Издателство

PTT Research

Местоиздаване

Rotterdam

Година на издаване

1989

Страници

395 p.

Класификационен индекс

УДК	Значение
519.76	Математическа лингвистика

Отрасъл

Математика

Системен №

13445

Допълнителна сигнатура

M 65

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Middelburg, C. Syntax and Semantics of VVSL. A Language for Structured VDM. Rotterdam: PTT Research, 1989 395 p.

Middelburg, C. (1989) Syntax and Semantics of VVSL. A Language for Structured VDM, Rotterdam: PTT Research 395 p.

Middelburg, C. (1989). Syntax and Semantics of VVSL. A Language for Structured VDM. Rotterdam: PTT Research, 395 p.

Middelburg C. Syntax and Semantics of VVSL. A Language for Structured VDM. Rotterdam: PTT Research; 1989. p. 395 p.