Университет по архитектура, строителство и геодезия
Библиотека - lib1@uacg.bg

Къде желаете да търсите

Книги

Периодика

Статии

Какво желаете да търсите

Търсене в

Подредба

Чети онлайн

Каталог "Книги" | Книги

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

Действия

Виж още

Intermodal Freight Transportation

Vasco Reis; Rosario Macario (2019)

Чети онлайн

Advancing the Human Self. Do Technologies Make Us "Posthuman".

Ewa Nowak (2020)

Чети онлайн

Toward a Living Architecture? Complexism and Biology in Generative Design

Christina Cogdell (2018)

Чети онлайн

Elements of Architecture

Rem Koolhaas (2018)

Чети онлайн

A framework to Integrate Building Information Modelling with Architectural Programs in Sudan

Ali E. A. Shimaim (2021)

Чети онлайн

Structural Optimization for axisymmetric Shells of Revolution Structures by Finite Element Method

Mohammad Abdul Kader Al Zuhaili (2018)

Чети онлайн

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

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.

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; 1985. p. XIX, 425 p. ill. ISBN: 0-444-87888-2.