FME'96: Industrial Benefit and Advances in Formal Methods

Proceedings

44529

Издателство

Springer

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

Berlin etc.

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

1996

Страници

704 p. il.

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

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

ISBN

3-540-60973-3

Отрасъл

Математика

Системен №

13100

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

F 70

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

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

FME'96: Industrial Benefit and Advances in Formal Methods. Berlin etc.: Springer, 1996 704 p. il. 3-540-60973-3.

(1996) FME'96: Industrial Benefit and Advances in Formal Methods, Berlin etc.: Springer 704 p. il. 3-540-60973-3.

(1996). FME'96: Industrial Benefit and Advances in Formal Methods. Proceedings. Berlin etc.: Springer, 704 p. il.

FME'96: Industrial Benefit and Advances in Formal Methods: Proceedings. Berlin etc.: Springer; 1996. p. 704 p. il. ISBN: 3-540-60973-3.