VDM'91 Formal Software Development Methods

4th International Symposium of VDM Europe Noordwijkerhout,Th

34986

Детайли

Издателство

Springer- Verlag

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

Berlin

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

1991 -

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

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

Томове

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

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

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

Действия

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

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

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

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

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