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

Dijkstra, E. W. Predicate calculus and program semantics / E. W. Dijkstra, C. S. Scholten. - new york [etc.] : Springer, 1990. - X,220 p. p. : ill. - (Texts a.monographs in computer science). - ISBN 0-387-96957-8. - Текст : непосредственный.
Указ.:c.216-220

ГРНТИ	УДК
50.41	004.423.4

Рубрики:
Программы для ЭВМ

Кл.слова (ненормированные): ПРОГРАММА -- ПРОГРАММА
Доп. точки доступа:
Scholten, C.S.

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

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

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