Прикладные методы верификации программ / Непомнящий,Валерий Александрович.

Автор(ы): Непомнящий, Валерий Александрович;
                   Рякин, Олег МихайловичЯзык документа: Русский.Страна публикации: RU.Издательство: М. : Радио и связь, 1988Физическая характеристика: 256с.ISBN:5-256-00156-6.ББК: 32.973.2-018 ; 50.41
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
ГОНБ. Сектор обслуживания универсального читального зала
Выдается

10000 экз.

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: