VDM'91 Formal Software Development Methods

4th International Symposium of VDM Europe Noordwijkerhout,..

34990

Детайли

Издателство

Springer- Verlag

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

Berlin

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

1991

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

УДК	Значение
ОА83	ОА83 --> от ISIS без текст

Томове

Том	Заглавие	Година на издаване	Страници	Забележка
V.2.	Tutorials ISBN: 3-540-54868-8	1991	432

Допълнителна информация

ISBN: 3-540-54868-8
Отрасъл: Математика
Системен №: 1983
Допълнителна сигнатура: V 33

Действия

APA Chicago / Turabian (16th edition) Harvard MLA (7th edition) Vancouver

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

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

(1991). VDM'91 Formal Software Development Methods. 4th International Symposium of VDM Europe Noordwijkerhout,... Berlin: Springer- Verlag,.

VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout,... Berlin: Springer- Verlag; 1991. ISBN: 3-540-54868-8.