Formal Models in Programming

Proceedings of the IFIP TC2 Working Conference on The Role of Abstract Models in information Processing Vienna, Austria, 30 January-1 February, 1985

E. Neuhold
Други: G. Chroust (Ed.)

ЦБ б 95241

Издателство

North-Holland

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

Amsterdam

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

1985

Страници

XIX, 425 p. ill.

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

УДК	Тематика
519.685	Автоматизация на програмирането

Ключови думи

програмиране

ISBN

0-444-87888-2

Отрасъл

Математ. науки. ЕИМ

Системен №

52017

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

F76

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

Статус	Брой
Централна библиотека-хранилище (ЦБ)	1

Neuhold, E. Formal Models in Programming, North-Holland, 1985, XIX, 425 p. ill., 0-444-87888-2.

Neuhold, E.. Formal Models in Programming. Amsterdam: North-Holland, 1985, XIX, 425 p. ill., 0-444-87888-2.

Neuhold, E. (1985) Formal Models in Programming, Amsterdam: North-Holland, XIX, 425 p. ill., 0-444-87888-2

Neuhold, E.. (1985). Formal Models in Programming. Amsterdam: North-Holland. XIX, 425 p. ill..