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

J2/21965
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 : 26.00 р. - Текст : непосредственный.
Указ.:c.216-220

ГРНТИ	УДК
50.41	004.423.4

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

Кл.слова (ненормированные): программа
Доп. точки доступа:
Scholten, C.S.

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

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