Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=519.686<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
519
А 872

    Архангельский, Борис Владимирович.
    Поиск устойчивых ошибок в программах [Текст] : научное издание / Б. В. Архангельский, В. В. Черняховский. - М. : Радио и связь, 1989. - 240 с. : ил. - Библиогр.: с. 236-237. - ISBN 5-256-00306-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (4 экз.)
Свободны: аунл (4)
Постоянная гиперссылка
2.
519
К 474

    Кларк, Эдмунд М. (младший).
    Верификация моделей программ: Model Checking : Монография: Пер. с англ. / Эдмунд М. Кларк, Орна Грамберг, Дорон Пелед; Пер. В. Захаров, Пер. Р. Кончаков, Пер. Д. Царьков, Ред. пер. Р. Смелянский. - М. : МЦНМО, 2002. - 416 с. : ил. - Библиогр.: с. 377-399. -Предм. указ.: с. 400-416. - ISBN 5-94057-054-2 (в пер.) : 80.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка
 
Стандартный
Расширенный
Профи
По словарю
Статистика
за 18.06.2024
Число запросов 34103
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)