Главная
Авторизация
Фамилия
Пароль
 

Базы данных


Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Поисковый запрос: (<.>K=анализ корректности программ<.>)
Общее количество найденных документов : 1
1.

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

Другие библиотеки

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)