Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=верификация программ<.>)

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

Соколов, А. П.
Системы программирования : теория, методы, алгоритмы [Текст] : учеб. пособие / А. П. Соколов. - М. : Финансы и статистика, 2004. - 320 с. : ил. ; 21 см. - ISBN 5-279-02770-7 : 87.05 р.

ГРНТИ	50.05.01.33
УДК	681.3.06(075.8)

ББК 32.973.26-018

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
вычислительная техника -- программирование -- алгоритмы трансляции -- ассемблер(язык программирования) -- компоновщики -- верификация программ -- язык программирования -- формальные языки -- формальная грамматика
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Непомнящий, В. А.
Прикладные методы верификации программ [Текст] / В. А. Непомнящий, О. М. Рякин ; ред. А. П. Ершов. - М. : Радио и связь, 1988. - 256 с. : ил. ; 20 см. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6 : 0.80 р.

ГРНТИ	50.05
УДК	681.3.06

ББК 32.973

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
программирование -- типы данных -- структура программы -- подпрограммы -- программные модули -- анализ корректности программ -- семантика программ -- верификация программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Рякин, О. М.
Ершов, А. П.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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