ANNA A Language for Annotating Ada Programs

Reference Manual

David C. Luckham; E.t.c.

44565

Издателство

Springer

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

Berlin etc.

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

1987

Страници

140 p.

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

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

ISBN

3-540-17980-1

Отрасъл

Математика

Системен №

13129

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

A 60

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

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

Luckham, D., , E. ANNA A Language for Annotating Ada Programs. Berlin etc.: Springer, 1987 140 p. 3-540-17980-1.

Luckham, D., , E. (1987) ANNA A Language for Annotating Ada Programs, Berlin etc.: Springer 140 p. 3-540-17980-1.

Luckham, D., & , E. (1987). ANNA A Language for Annotating Ada Programs. Reference Manual. Berlin etc.: Springer, 140 p.

Luckham D, E. ANNA A Language for Annotating Ada Programs: Reference Manual. Berlin etc.: Springer; 1987. p. 140 p. ISBN: 3-540-17980-1.