VDM'91 Formal Software Development Methods

Proceedings

44220

Издателство

Springer

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

Berlin etc.

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

1991

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

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

ISBN

3-540-54868-8

Системен №

12763

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

V 33

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

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

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

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

(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-54868-8.