Полное описание

J2/23713
Formal development of programs and proofs / ed. E. W. Dijkstra. - Reading, Ma : Addison-Wesley, 1990. - 242 p. : ill. - (The UT year of programming ser.). - ISBN 0-201-17237-2 : 52.23 р. - Текст : непосредственный.
Библиогр.в конце гл.

ГРНТИ	УДК
28.23	004.42
50.01.13	004.832.2

Рубрики:
Программирование для ЭВМ
Искусственный интеллект

Кл.слова (ненормированные): программирование -- искусственный интеллект
Доп. точки доступа:
Dijkstra, E.W.\ed.\

Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:

Заказать издание
Заказ фрагмента документа ₽