Поиск :
Личный кабинет :
Электронный каталог: Верификация программ
Верификация программ
Книга (аналит. описание)
Автор:
Системы программирования: теория, методы, алгоритмы: Верификация программ
б.г.
ISBN отсутствует
Автор:
Системы программирования: теория, методы, алгоритмы: Верификация программ
б.г.
ISBN отсутствует
На полку
Книга (аналит. описание)
Верификация программ // Системы программирования: теория, методы, алгоритмы : учеб. пособие для студ., обуч. по напр. 654600 - "Информатика и вычислит. техника" / А. П. Соколов . – М. : Финансы и статистика, 2004 . – С.266-295 .
Верификация программ // Системы программирования: теория, методы, алгоритмы : учеб. пособие для студ., обуч. по напр. 654600 - "Информатика и вычислит. техника" / А. П. Соколов . – М. : Финансы и статистика, 2004 . – С.266-295 .
Привязано к:
Доступно
15 из 16
Книга
Соколов, А. П.
Системы программирования: теория, методы, алгоритмы: учеб. пособие для студ., обуч. по напр. 654600 - "Информатика и вычислит. техника"
Финансы и статистика, 2004 г.
ISBN 5-279-02770-7
Библиотека Горного : Студенческий ГИ, Научный читаль...
Соколов, А. П.
Системы программирования: теория, методы, алгоритмы: учеб. пособие для студ., обуч. по напр. 654600 - "Информатика и вычислит. техника"
Финансы и статистика, 2004 г.
ISBN 5-279-02770-7
Библиотека Горного : Студенческий ГИ, Научный читаль...