• ВХОД

    •  

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

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

    ГРНТИ УДК
    28.23004.42
    50.01.13004.832.2

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

    Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ПРОГРАММИРОВАНИЕ
    Доп. точки доступа:
    Dijkstra, E.W.\ed.\

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/23713)

    Шифр в сводном ЭК: 4ead51eb14f448c1da9b56088ece6add



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