KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Final Report

44439

Детайли

Издателство

Springer

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

Berlin etc.

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

1995

Страници

449 p. il.

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

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

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

ISBN

3-540-60589-4

Отрасъл

Математика

Системен №

13027

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

K 75

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

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

Действия

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

KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Berlin etc.: Springer, 1995 449 p. il. 3-540-60589-4.

(1995) KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Berlin etc.: Springer 449 p. il. 3-540-60589-4.

(1995). KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report. Berlin etc.: Springer, 449 p. il.

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report. Berlin etc.: Springer; 1995. p. 449 p. il. ISBN: 3-540-60589-4.