Mathematical Methods of Specification and Sinthesis of Software Systems '85

Proceedings

44509

Детайли

Издателство

Springer

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

Berlin etc.

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

1986

Страници

245 p. il.

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

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

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

ISBN

3-540-16444-8

Отрасъл

Математика

Системен №

13088

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

M 39

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

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

Действия

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

Mathematical Methods of Specification and Sinthesis of Software Systems '85. Berlin etc.: Springer, 1986 245 p. il. 3-540-16444-8.

(1986) Mathematical Methods of Specification and Sinthesis of Software Systems '85, Berlin etc.: Springer 245 p. il. 3-540-16444-8.

(1986). Mathematical Methods of Specification and Sinthesis of Software Systems '85. Proceedings. Berlin etc.: Springer, 245 p. il.

Mathematical Methods of Specification and Sinthesis of Software Systems '85: Proceedings. Berlin etc.: Springer; 1986. p. 245 p. il. ISBN: 3-540-16444-8.