ZUM'97: The Z Formal Specification Notation

Proceedings

44223

Издателство

Springer

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

Berlin etc.

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

1997

Страници

433 p. il.

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

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

ISBN

3-540-62717-0

Отрасъл

Математика

Системен №

12760

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

Z 92

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

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

ZUM'97: The Z Formal Specification Notation. Berlin etc.: Springer, 1997 433 p. il. 3-540-62717-0.

(1997) ZUM'97: The Z Formal Specification Notation, Berlin etc.: Springer 433 p. il. 3-540-62717-0.

(1997). ZUM'97: The Z Formal Specification Notation. Proceedings. Berlin etc.: Springer, 433 p. il.

ZUM'97: The Z Formal Specification Notation: Proceedings. Berlin etc.: Springer; 1997. p. 433 p. il. ISBN: 3-540-62717-0.