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

J2/26716
Apt, K. R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog. - 2nd ed. - New York [etc.] : Springer, 1997. - XVII,364 p. p. - (Graduate texts in computer science). - ISBN 0-387-94896-1 : 500.00 р. - Текст : непосредственный.
Библиогр.:с.343-352.Указ.:с.353-364

ГРНТИ	УДК
50.05.13	004.415.535

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

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

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

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