Полное описание
>
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)
Заказ фрагмента документа ₽