Библиотека ТУСУРа

Базы данных

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

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Поисковый запрос: (<.>K=алгоритмическое проектирование<.>)

Общее количество найденных документов : 1

681.3
И 266

    Игнатьев, Михаил Борисович.
    Активные методы обеспечения надежности алгоритмов и программ : монография / М. Б. Игнатьев, Л. Г. Осовецкий, В. В. Фильчаков. - СПб. : Политехника, 1992. - 288 с. : ил, табл. - Библиогр.: с. 285-286. - ISBN 5-7325-0074-X (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06-192
~РУБ 681.3

Кл.слова (ненормированные):
надежность -- программное обеспечение -- case-технологии -- вычислительные системы -- Петри сети -- алгоритмическое проектирование -- сертификация программных средств
Доп.точки доступа:
Фильчаков, Владимир Васильевич
Осовецкий, Леонид Георгиевич

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

Статистика за 01.07.2024
Число запросов	102109
Число заказов	0

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