Библиотека института биофизики СО РАН

Главная

Базы данных

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН

Иностранные журналы библиотеки Института биофизики СО РАН

Отечественные журналы библиотеки Института биофизики СО РАН

Каталог диссертаций ИБФ СО РАН

Труды сотрудников ИБФ СО РАН

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

в найденном

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

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

Поисковый запрос: (<.>U=681.3.06<.>)

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

1-20 21-37

   З973
   У 97
З97 / У 97-ИБФ-КФ

    Уайт, М.
    Язык Си. Руководство для начинающих [Текст] : монография / М. Уайт, С. Прата, Д. Мартин ; ред. Э. А. Трахтенгерц ; пер.: Л. Н. Горинович, В. С. Явнилович. - М. : Мир, 1988. - 512 с. : рис. - Предм. указ.: с. 504. - Пер. изд. : C Primer Plus. - ISBN 5-03-001309-1 : 2.10 р.
    Содержание:
Вступление
Введение в язык Си
Данные, язык Си и вы
Символьные строки, директива # define, функции printf () и scanf ()
Операции, выражения и операторы
Функции и переключение ввода-вывода
Выбор вариантов
Циклы и другие управляющие средства
Как правильно пользоваться функциями
Классы памяти и разработка программ
Препроцессор языка Си
Массивы и указатели
Символьные строки и функции над строками
Структуры и другие типы данных
Библиотека языка Си и файлы ввода-вывода

ГРНТИ	50.05.09	20
УДК	681.3	681.3.06

ББК З973.2
Рубрики:
Информатика--Языки программирования
Вычислительная техника--Программное обеспечение
Аннотация: Книга знакомит с языком программирования Си. Этот язык приобрел за рубежом большую популярность главным образом в связи с широким применением операционной системы UNIX. Уделено внимание методам составления программ и выработке навыков программирования.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Прата, С.; Мартин, Д.; Трахтенгерц, Э. А. \ред.\; Горинович, Л. Н. \пер.\; Явнилович, В. С. \пер.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободных экз. нет
Найти похожие

   З973.2-018
   В 16
З-97 / В 16-ИБФ-КФ

    Вальковский, Владимир Александрович.
    Элементы современного программирования и суперЭВМ [Текст] : научно-популярная литература / В. А. Вальковский, В. Э. Малышкин ; ред. В. Е. Котов ; Академия наук СССР. Сибирское отделение. - Новосибирск : Наука, 1990. - 142 с. : рис., табл. - (Наука и технический прогресс). - 0.90 р.

ГРНТИ	50
УДК	681.3.06	681.32

ББК З973.2-018
Рубрики:
ПРОГРАММЫ И ВОПРОСЫ ПРОГРАММИРОВАНИЯ--АЛГОРИТМЫ
ЦИФРОВЫЕ ДИСКРЕТНЫЕ СИСТЕМЫ, МАШИНЫ И УСТРОЙСТВА

Доп.точки доступа:
Малышкин, Виктор Эммануилович; Котов, В. Е. \ред.\; Академия наук СССР. Сибирское отделение
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З97
   Х 38
З-9 / Х 38-ИБФ-КФ

    Хендерсон, Питер.
    Функциональное программирование. Применение и реализация [Текст] : монография / П. Хендерсон ; пер. Л. Т. Петрова ; ред. А. П. Ершов. - Москва : Мир, 1983. - 349 с. : рис.a-табл. ; 22 см. - (Математическое обеспечение ЭВМ). - Библиогр.: с. 337-339. - Алф. указ.: с. 340-346. - Пер. изд. : Functional Programming. Application and Implementation / P. Henderson. - 1980. - 15000 экз. - 1.40 р.

ГРНТИ	27.47.21
УДК	681.3.06

ББК З973.2-018я41
РУБ Л
Рубрики:
Программирование функциональное--Применение и реализация
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Петрова, Л. Т. \пер.\; Ершов, А. П. \ред.\; Henderson, Peter
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З973.2
   К 66

    Коричнев, Л. П.
    Фортран [Текст] : учеб. пособие / Л. П. Коричнев, В. И. Чистякова. - Москва : Высшая школа, 1989. - 160 с. - (Алгоритмические языки в техникуме). - ISBN 5-06-000142-3 : 0.25 р.

ГРНТИ	50.05.09
УДК	681.3.06

ББК З973.2-018.12
Рубрики:
Алгоритмические языки--фортран
Аннотация: Фортран

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Чистякова, В. И.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З 973.203
   С 24

    Сван, Том
    Форматы файлов Windows. [Текст] / Пер.с англ.Д.А.Зарецкого. - М. : Бином, 1995. - 286 с. : ил. + 22см. - ISBN 5750300145 : 19000.00 р.
Доп.тит.л.англ.

УДК

681.3.06

ББК З 973.203
Рубрики:
Персональные ЭВМ--Математическое обеспечение(WINDOWS)
Кл.слова (ненормированные):
ПЕРСОНАЛЬНЫЕ ЭВМ -- ПЭВМ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ГРАФИЧЕСКИЕ СРЕДЫ -- WINDOWS -- СТРУКТУРЫ ФАЙЛОВ -- ФОРМАТЫ ФАЙЛОВ

Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З973
   С 81
З97 / С 81-ИБФ-КФ

    Столяр, Леонид Наумович.
    Средства проверки работоспособности оборудования СМ ЭВМ [Текст] : научное издание / Л. Н. Столяр, В. А. Шапошников ; . - Москва : Финансы и статистика, 1986. - 142 с. - 0.40 р.

ГРНТИ	50
УДК	681.3.06

ББК З973.2
Рубрики:
Программирование
Кл.слова (ненормированные):
ЭВМ
Аннотация: Рассматриваются средства проверки оборудования ЭВМ СМ-3, СМ-4, СМ-1300, СМ-1420 с помощью стандартного программного обеспечения. Описываются пакеты прикладных программ "Прораб" и "Эксперт", функционирующие под управлением ОС РВ. Подробно излагаются структура, функции и состав пакетов, вопросы их применения. Для инженерно-технических и научных работников, занятых разработкой и эксплуатацией средств вычислительной техники, программистов различной квалификации.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Шапошников, Виктор Александрович; Шапошников В. А.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   П973.2
   П 27
З9 / П 27-ИБФ-КФ

    Перевозчикова, Ольга Леонидовна.
    Системы диалогового решения задач на ЭВМ [Текст] : научное издание / О. Л. Перевозчикова, Е. Л. Ющенко ; отв. ред. В. А. Литвинов ; ИК АН УССР. - Киев : Наукова думка, 1986. - 264 с. : ил., табл. - Библиогр.: с. 260-264. - 1.70 р.

ГРНТИ	50.41
УДК	681.3.015	681.3.06

ББК П973.2

Кл.слова (ненормированные):
ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЕ СИСТЕМЫ -- КРУПНОБЛОЧНАЯ СИСТЕМА ПРОГРАММИРОВАНИЯ -- ОБРАБОТКА ИНФОРМАЦИИ -- МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ПРОЕКТИРОВАНИЕ МАРШРУТНЫХ СИСТЕМ -- РАЗРАБОТКА ЯЗЫКОВ ПРОГРАММИРОВАНИЯ

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Ющенко, Екатерина Логвиновна; Литвинов, В. А. \отв. ред.\; Академия наук УССР; Институт кибернетики
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З973
   С 60
З97 / С 60-ИБФ-КФ


    Система управления базами данных ДИСОД [Текст] / Е. С. Броневщук, В. И. Бурдаков, Л. И. Гуков. - Москва : Финансы и статистика, 1987. - 263 с. + табл. - Библиогр.: с.253-254. - Предм. указ.: с.257-261. - 1.20 р.

ГРНТИ	50.41.21
УДК	681.3.06

ББК З973.2

Аннотация: ДИСОД принята в качестве основной системы управления базами данных в ряде отраслей народного хозяйства. Данное издание является первой полной публикацией по этой системе. Наряду с подробным изложением функциональных возможностей и языковых средств даются рекомедации по практическому применению системы. Для разработчиков автоматизированных систем управления различного назначения.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Броневщук, Е. С.; Бурдаков, В. И.; Гуков, Л. И.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З844
   М 87
З84 / М 87-ИБФ-КФ

    Мошиц, Георг.
    Проектирование активных фильтров [Текст] : производственно-практическое издание / Г. Мошиц, П. Хорн ; ред. И. Н. Теплюк. - Москва : Мир, 1984. - 320 с. - Предм. указ.: с. 312-318. - Пер. изд. : Active Filter Desigh Handbook / G. S. Moschytz, P. Horn. - 1981. - 1.30 р.

ГРНТИ	47.14
УДК	681.3.06

ББК З844-040.2
Рубрики:
Радиоаппаратура
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Аннотация: Книга специалистов из Швейцарии представляет собой справочное пособие по методам практического проектирования и настройки активных фильтров, находящих широкое применение в современной радиоаппаратуре. Для выбора параметров фильтров предусмотрено использование разнообразных вычислительных устройств - от программируемых карманных калькуляторов до мини-ЭВМ с программированием на языках Фортран и Бейсик. Приведены соответствующие программы. Для разработчиков, радиолюбителей, аспирантов и студентов соответствующих спец-тей вузов.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Хорн, Петр; Теплюк, И. Н. \ред.\; Moschytz, G. S.; Horn, P.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

10.

   З973
   П 78
З9 / П 78-ИБФ-КФ


    Программное обеспечение неоднородных распределенных систем: анализ и реализация [Текст] : монография / Г. П. Васильев [и др.]. - Москва : Финансы и статистика, 1986. - 160 с. : ил. - Библиогр.: с. 158-160. - 0.75 р.

ГРНТИ	50.41
УДК	681.3.06

ББК З973

Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- СЕТЕВАЯ ТЕЛЕОБРАБОТКА -- УПРАВЛЕНИЕ ПАКЕТАМИ

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Васильев, Геннадий Петрович; Горский, Владимир Евгеньевич; Шяудкулис, Владас Ионо; Саух, Николай Михайлович
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

11.

   З973.2
   П 78


    Программное обеспечение информационных систем [Текст] : сборник / Академия наук СССР, Вычислительный центр ; Академия наук СССР, Вычислительный центр. - Москва : Наука, 1989. - 103 с. - (Алгоритмы и алгоритмические языки). - Библиогр. в конце ст. - 12600 экз. - ISBN 5-02-007179-X : 0.40 р.

ГРНТИ	50.43
УДК	681.51	681.3.06

ББК З973.2-018.22я43
Рубрики:
Информационные системы--программное обеспечение--алгоритмы

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Самарский, Александр Андреевич \ред.\; Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

12.

   З973
   Ф 75
З97 / Ф 75-ИБФ-КФ

    Фокс, Джозеф.
    Программное обеспечение и его разработка [Текст] : монография / Дж. Фокс ; пер. Л. Е. Карпов ; ред. Д. Б. Подшивалова. - Москва : Мир, 1985. - 368 с. : ил. - (Математическое обеспечение ЭВМ). - Предм. указ.: с. 359-362. - Пер. изд. : Software and its development / J. M. Fox. - 1.70 р.

ГРНТИ	50.05.17
УДК	681.142.2	681.3.06

ББК З973.2-018

Кл.слова (ненормированные):
ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ПРОГРАММНОЕ ПРОЕКТИРОВАНИЕ

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Карпов, Л. Е. \пер.\; Подшивалова, Д. Б. \ред.\; Fox, J. M.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

13.

   З973
   П 78
З97 / П 78-ИБФ-КФ
З97 / П 78-ИБФ-КФ


    Программирование, отладка и решение задач на ЭВМ единой серии. Язык Фортран [Текст] : учебное пособие / И. А. Кудряшов, Н. Х. Кушнер, Л. В. Петрова, Н. А. Силов ; ред. И. А. Кудряшов. - Л. : Энергоатомиздат, 1988. - 208 с. : ил. ; 20см. - Библиогр.: с. 200-201. - ISBN 528304819 : 0.90 р.

ГРНТИ	50.05.09.01.33
УДК	681.3.06	519.6(075)

ББК З973.203.1-018я73

Кл.слова (ненормированные):
вычислительная техника -- программирование -- языки программирования
Аннотация: Изложены основные понятия и конструкции языка Фортран, сопровождающиеся примерами и синтаксическими диаграммами. Рассмотрены основные приемы и методы отладки программ, отладочные средства языка Фортран и рекомендации по их использованию для локализации ошибок в исходной программе. Применение и действие операторов отладки также иллюстрируется примерами. Описываются типичные ситуации, возникающие при выполнении заданий на машине, и приводятся образцы получаемых листингов. Приводятся сведения по использованию пакета прикладных программ, к которым пользователю ЭВМ приходится наиболее часто обращаться при решении широкого круга задач. Для студентов и специалистов.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Красноярск, Академгородок, 50/12

Доп.точки доступа:
Кудряшов, И. А.; Кушнер, Н. Х.; Петрова, Л. В.; Силов, Н. А.; Кудряшов, И. А. \ред.\
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (2)
Найти похожие

14.

   З973
   С 54
З97 / С 54-ИБФ-КФ
З97 / С 54-ИБФ-КФ

    Сойер, Б.
    Программирование экспертных систем на Паскале [Текст] : монография / Б. Сойер, Д. Л. Фостер ; пер. В. А. Белов. - М. : Финансы и статистика, 1990. - 191 с. : рис. - Предм. указ.: с. 190. - Пер. изд. : Programming expert systems in Pascal / B. Sawyer, D. Foster. - ISBN 5-279-00449-9 : 0.55 р.
    Содержание:
Экспертные системы в перспективе
Искусственный интеллект и экспертные системы
Элементы экспертных систем.
Проектирование экспертной системы.
Построение экспертной системы
Представление фактов.
Управление фактами в базе знаний.
Представление знаний
Представление неопределенности
Использование многозначных выражений.
Вопросы и разрешенные значения
Чтение правил.
Достижение цели.
Экспертная система в действии
Создание подсистемы объяснения
Использование экспертных систем
Взаимодействие экспертной системы с существующими приложениями

ГРНТИ	50.05.09	20
УДК	681.3	681.3.06

ББК З973.205-018.12

Аннотация: Описаны архитектура и процесс создания набольшой продукционной системы на языке Турбо Паскаль с обратной последовательностью вывода. Система документирована полными листингами программ и примерами небольших баз знаний.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Фостер, Д. Л.; Белов, В. А. \пер.\; Sawyer, B. ; Foster, D.
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (1)
Найти похожие

15.

   З-973
   Д 40
З-9 / Д 40-ИБФ-КФ

    Джехани, Нарайян.
    Программирование на языке Си [] : пер. с англ : An Advanced Introduction / Н. Джехани. - Москва : Радио и связь, 1988. - 271 с. - Библиогр.: с. 257-265. - Содержание : Основные понятия. Типы и переменные. Операторы и выражения. Операторы управления. Функции и завершенные программы. Особые ситуации. Процессор языка Си. Последний пример. - ISBN 5-256-00152-3 (рус.). - 0-88175-053-0 (англ.) : 1.30 р.

ГРНТИ	50.05.09
УДК	681.3	681.3.06

ББК З-973
Рубрики:
Информатика--Языки программирования
программирование
Аннотация: Рассмотрены стиль и дисциплина программирования, абстрагирование данных, предпроцессор, инструментальные средства, применяемые при программировании на языке Си. Приведено большое число примеров, взятых из реальных программ.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Кузьмин, Б. А. \ред.\; Шестаков, И. Г. \пер.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

16.

   З973
   Б 87
З97 / Б 87-ИБФ-КФ
З97 / Б 87-ИБФ-КФ

    Браух, В.
    Программирование на Фортране 77 для инженеров [Текст] : пер. с нем. / В. Браух. - Москва : Мир, 1987. - 200 с. : ил. - (Математическое обеспечение ЭВМ). - Библиогр.: с. 192. - Предм. указ.: с. 196-199. - Пер. изд. : Programmieren mit Fortran 77 fur ingenieure / Wolfgang Braush. - Styuttgart, 1985. - 0.80 р.

ГРНТИ	50.05.09
УДК	681.3.06

ББК З973.2
Рубрики:
Информатика--Языки программирования
Кл.слова (ненормированные):
языки программирования
Аннотация: Это пособие по языку Фортран 77. Этот язык программирования реализован на отечественных ЭВМ, выгодно отличается от более ранних версий.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Соболев, В.Н. \ред.\; Коробицын, И.Т. \пер.\; Braush, Wolfgang
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (2)
Найти похожие

17.

   З973
   Ф 60

    Финогенов, Кирилл Григорьевич.
    Программирование измерительных систем реального времени [Текст] : производственно-практическое издание / К. Г. Финогенов. - Москва : Энергоатомиздат, 1990. - 255 с. - Библиогр.: с. 248-249. - Предм. указ.: с. 251-253. - ISBN 5-283-01469-X (в пер.) : 1.30 р.

ГРНТИ	50
УДК	681.3.06	681.51

ББК З973.203.3
Рубрики:
Программирование--Алгоритмы

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

18.

   З97
   К 96
З9 / К 96-ИБФ-КФ

    Кушнерев, Николай Тихонович.
    Программирование для ЭВМ "Минск-32" [Текст] : монография / Н. Т. Кушнерев, М. Е. Неменман, В. И. Цагельский. - Москва : Статистика, 1972. - 248 с. : ил. - (Пособия для работников вычислительных центров). - 1.00 р.

ГРНТИ	50.33
УДК	681.3.06

ББК З97
Рубрики:
Вычислительная техника. Автоматикаppi
Кл.слова (ненормированные):
ЭЛЕМЕНТЫ ПРОГРАММИРОВАНИЯ
Аннотация: Книга представляет собой руководство по составлению программ для электронной вычислительной машины "Минск-32" в соответствии с требованиями базовой системы математического обеспечения, разработанной для этой машины. В ней приведены общие сведения о структуре машины, параметры и характеристики ее устройств, необходимые для составления программ.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Неменман, М. Е.; Цагельский, Владимир Иосифович
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

19.

   З97
   Ф 27
З-9 / Ф 27-ИБФ-КФ

    Фатеев, А. Е.
    Прикладные программы в системе математического обеспечения ЕС ЭВМ [Текст] : монография / А. Е. Фатеев, Т. П. Фатеева. - Москва : Статистика, 1976. - 183, [1] с. : рис.a-схемы, табл. ; 22 см. - Библиогр.: с. 179-181. - 77000 экз. - 0.64 р.
Загл. на корешке не указано

ГРНТИ	50.35.37
УДК	681.3.06

ББК З973
Рубрики:
Программное обеспечение
Кл.слова (ненормированные):
РАЗРАБОТКА ПРОГРАММ
Аннотация: В книге излагаются вопросы разработки, внедрения и эксплуатации пакетов прикладных программ в связи с особенностями технических средств и системного математического обеспечения ЕС ЭВМ. Реализация прикладных программ иллюстрируется на примере пакета прикладных программ СПУ/ЕС. Книга предназначена для пользователей, применяющих в своей работе современные вычислительные средства. Кроме того, она будет полезна студентам, специализирующимся на разработке и внедрении АСУ.

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Фатеева, Т. П.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

20.

   З-973
   Н 53
З-9 / Н 53-ИБФ-КФ

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

ГРНТИ	50.05
УДК	681.3.06

ББК З-973
Рубрики:
Вычислительная техника--Программирование
Кл.слова (ненормированные):
программирование -- типы данных -- структура программы -- подпрограммы -- программные модули -- анализ корректности программ -- семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Рякин, Олег Михайлович; Ершов, А. П. \ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие