Полное описание
Ануреев, И. С.
ГРНТИ УДК 50.05.09 004.438(04)
Рубрики: Программирования языки -- Atoment
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/157)
Шифр в сводном ЭК: 9e251e7141b539582ba5e1f442f9cc59
Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Молодая информатика : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 2005. - 122 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный. Towards C# program verification: a three-level approach / В. А. Непомнящий [и др.], 2005. - 38 p. - Текст : непосредственный. Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный. На пути к верификации С-программ. Ч.2 Язык C-light-kernel и его аксиоматическая семантика / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2001. - 57 с. - Текст : непосредственный. Ануреев И.С. Язык Atoment: стандартная библиотека / И.С. Ануреев, 2010. - 31 с. - Текст : непосредственный. Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев, 1998. - 19 с. - Текст : непосредственный. Ануреев И.С. Язык ATOMENT: синтаксис и семантика / И. С. Ануреев, 2010. - 38 с. - Текст : непосредственный. Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И.С.Ануреев, 2002. - 29 с. - Текст : непосредственный. Ануреев И.С. Концептуальный базис трехуровневого метода верификации C# программ / И. С. Ануреев, 2013. - 42 с. - Текст : непосредственный. Ануреев И.С. Применение систем переписывания формул в автоматической верификации программ / И.С.Ануреев, 1998. - 47 с. - Текст : непосредственный. На пути к верификации С-программ / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2002. - 82 с. - Текст : непосредственный. Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный. Молодая информатика : сб. тр. аспирантов и молодых ученых / Ин-т систем информатики им. А. П. Ершова, 2006. - 122 с. - Текст : непосредственный. Ануреев И.С. USL-the language of natural state machines / И.С. Ануреев, 2004. - 25 p. - Текст : непосредственный. Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты BASIC, 1992. - 97 с. - Текст : непосредственный. Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный. Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный. Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный. Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный. Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный. Фальк В.Н. Теория направленных отношений и ее приложения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Н. Фальк, 2001. - 40 с. - Текст : непосредственный. Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный. Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный. Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный. Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный. Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный. Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный. Грабер М. Введение в SQL / М. Грабер, 2008. - 375 с. - Текст : непосредственный. БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный. Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный. Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный. Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный. Зубков С.В. Assembler для DOS, Windows и UNIX / С. В. Зубков, 2006. - 608 с. - Текст : непосредственный. Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 547 с. - Текст : непосредственный. Показать все результаты Климов Ю.А. SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ / Ю. А. Климов, 2008. - 32 с. - Текст : непосредственный. Бугеря А.Б. Контрольные точки в языке НОРМА / А. Б. Бугеря, 2001. - 12 с. - Текст : непосредственный. Горелик А.М. Смешанное программирование на Фортране и Си : препринт / А. М. Горелик. - 13 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Горелик А.М. Эволюция языка Фортран. Устаревшие черты языка и средства для их замены / А. М. Горелик, 2018. - 13 с. - Текст : непосредственный. Горелик А.М. Эволюция языка ФОРТРАН. Устаревшие черты и современные элементы языка для их замены / А.М.Горелик, 1997. - 17 с. - Текст : непосредственный. Система программирования GNS. Описание языка ФОРТРАН GNS / В.А.Абрамова,В.Ю.Вершубский,А.М.Горелик и др., 1997. - 20 с. - Текст : непосредственный. Система программирования GNS. Описание языка СИ GNS / В.А.Абрамова,В.Ю.Вершубский,А.М.Горелик и др., 1997. - 22 с. - Текст : непосредственный. Абдуллин И.З. Язык ЯДРО. Реализация бинарных операций / И. З. Абдуллин, О. Г. Гадецкий, М. А. Ледовских, 1993. - 30 с. - Текст : непосредственный. Стасенко А.П. Базовые средства языка Sisal 3.1 / А. П. Стасенко, А. И. Синяков, 2006. - 56 с. - Текст : непосредственный. Бражник С.А. Обзор формальных подходов к спецификации языков UML и OCL / С.А. Бражник, 2004. - 45 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
