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

Ed.: G. Chroust; E. J. Neuhold

ЦБ б 95241

Детайли

Издателство

North-Holland

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

Amsterdam

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

1985

Страници

XIX, 425 p. ill.

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

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

Ключови думи

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

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

ISBN

0-444-87888-2

Отрасъл

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

Системен №

52017

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

F76

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

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

Действия

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

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

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

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

(1985). 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. Amsterdam: North-Holland, XIX, 425 p. ill..