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

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. - Текст : непосредственный.
Библиогр.:с.343-352.Указ.:с.353-364

ГРНТИ	УДК
50.05.13	004.415.535

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

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

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

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

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