Главная Список новых поступлений On-line издательства, журналы (ENG)
Авторизация
Фамилия / Логин
Идентификатор / Пароль
 

Базы данных


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

Вид поиска
Электронные ресурсы Иркутского научного центра
Отечественные книги
CD-Rom
Авторефераты
Диссертации
Иностранные журналы
Отечественные журналы
Географические карты
Сводный каталог книг библиотек ИНЦ
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=доказательство<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа :
Шифр издания : З 973.5/А 65
Автор(ы) : Андерсон, Роберт
Заглавие : Доказательство правильности программ : научное издание
Выходные данные : М.: Мир, 1982
Колич.характеристики :163 с.: табл., рис.
Примечания : Предм. указ.: с. 160-161. - Доп. тит. л. на англ.
Цена : 0.60 р.
ГРНТИ : 50.41
ББК : З 973.51
Предметные рубрики: Вычислительные машины-- Программы
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
2.

Вид документа :
Шифр издания : З 973.5/Г85
Автор(ы) : Грис, Дэвид
Заглавие : Наука программирования : пер. с англ.
Выходные данные : М.: Мир, 1984
Колич.характеристики :416 с
Примечания : Библиогр.: с. 413 - 414
Цена : 1.90 SUR
ББК : З 973.51
Предметные рубрики: Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математика--кибернетика--математическая кибернетика--программа--программа--логика--высказывание--рассуждение--предикат--выбор--массив--обозначение--документирование--доказательство--команда--повторение--присваивание--построение--инвариант
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
ГРНТИ-навигатор
© Иркутский научный центр Сибирского отделения РАН