Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Поисковый запрос: (<.>K=модели программ<.>)
Общее количество найденных документов : 1
 1..1 
1.
В18я73
К89

    Кузьмин, Егор Владимирович.
    Верификация моделей программ [Текст] : учеб. пособие для вузов / Е. В. Кузьмин. - Ярославль : [б. и.], 2008. - 174 с. - ISBN 978-5-8397-0599-9 : 54.30 р.
ББК В18я73
Рубрики: Кибернетика
Кл.слова (ненормированные):
математическая кибернетика -- программные системы -- модели программ -- верификация -- проверка модели -- учебник В18 -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
 1..1