Сайт библиотеки БГТУ Сайт БГТУ Электронная библиотека БГТУ
  1. Базы данных
  2. Книги
  3. Прикладные методы верификации программ
Поиск

Прикладные методы верификации программ

Авторы: Непомнящий, Валерий Александрович Рякин, Олег Михайлович
Заказ Местонахождение Подробная информация
Индекс УДК 681.3.06
Прикладные методы верификации программ
Текст
под ред. А. П. Ершова
Место издания Москва
Издательство Радио и связь
Дата издания оригинала 1988
Объем 255, [1] c.