VDM'91 Formal Software Development Methods

Proceedings

44185

Издателство

Springer

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

Berlin etc.

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

1991 -

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

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

Томове

Том	Заглавие	Година на издаване	Страници	Забележка
V. 1.	Conference Contributions ISBN: 3-540-54834-3	1991	698

ISBN

3-540-54834-3

Отрасъл

Математика

Системен №

12872

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

V 33

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

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

VDM'91 Formal Software Development Methods. Berlin etc.: Springer, 1991 - 3-540-54834-3.

(1991 -) VDM'91 Formal Software Development Methods, Berlin etc.: Springer 3-540-54834-3.

(1991 -). VDM'91 Formal Software Development Methods. Proceedings. Berlin etc.: Springer,.

VDM'91 Formal Software Development Methods: Proceedings. Berlin etc.: Springer; 1991 -. ISBN: 3-540-54834-3.