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

Сохранить в:
Библиографические подробности
Автор: Непомнящий В. А.
Другие авторы: Рякин О. М.
Тип документа: Книга
Язык:Russian
Год издания: Москва Радио и связь 1988
Рубрика:
Ключевые слова: