Приложение
для AndroidПолное описание
Мансуров, Н. Н. Методы формальной спецификации программ: языки МSC и SDL / Н. Н. Мансуров, О. Л. Майлингова. - М. : [б. и.], 1998. - 125 с. - 300 экз. - ISBN 5-89407-021-X. - Текст : непосредственный.
В надзаг.:МГУ им.М.В.Ломоносова,Фак.вычислит.математики и кибернетики
| ГРНТИ | УДК | |
| 50.41 | 004.415.28 |
Рубрики:
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): ПРОГРАММА -- СПЕЦИФИКАЦИЯ -- ЭВМ
Доп. точки доступа:
Майлингова, О.Л.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-98/36289)
Шифр в сводном ЭК: 9465d4491b72e0633b0f86ad5eeda786
Мансуров Н.Н. Методы формальной спецификации программ: языки МSC и SDL / Н. Н. Мансуров, О. Л. Майлингова, 1998. - 125 с. - Текст : непосредственный.Мансуров Н.Н. Курс электротехники : учебник для школ ФЗУ энергетической промышленности / Н. Н. Мансуров; под редакцией М. А. Перекалина, 1936. - 208 с. - Текст : непосредственный.Попов В.С. Электротехника : учебник для неэлектротехнических техникумов и отделений / В. С. Попов, Н. Н. Мансуров, С. А. Николаев, 1958. - 422, [1] с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Теоретическая электротехника / Н. Н. Мансуров и В. С. Попов, 1954. - 527 с. - Текст : непосредственный.
Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный.Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный.Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный.MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный.Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный.Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный.Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.
Показать все результатыНепомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный.Окунишникова Е.В. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Окунишникова, 2004. - 18 с. - Текст : непосредственный.Агафонов В.Н. Спецификация программ: понятийные средства и их организация / В. Н. Агафонов, 1990. - 223 с. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Semantics and algebraic specification / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Юрченко В.В. Функциональные сети / В. В. Юрченко ; Ред. В. А. Геловани, 1992. - 183 с. - Текст : непосредственный.Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный.Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный.Fokkink W.J. simple specification language combining processes,time and data / W. J. Fokkink, 1992. - 28 p. - Текст : непосредственный.Meulen E.A.van der Deriving incremental implementations from algebraic specifications / E. A.van der Meulen, 1990. - 20 p. - Текст : непосредственный.Dinesh T.B. Animators and error reporters for generated programming environments / T. B. Dinesh, F. Tip, 1992. - 98 p. - Текст : непосредственный.Семинар "Семантика, спецификация и верификация программ: теория и приложения" : материалы временных коллективов / "Семантика, спецификация и верификация программ: теория и приложения", семинар (2010 ; Казань) , 2010. - 178 с. - Текст : непосредственный.Recent trends in algebraic development techniques / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.ZB 2005: formal specification and development in Z and B / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Мансуров Н.Н. Методы формальной спецификации программ: языки МSC и SDL / Н. Н. Мансуров, О. Л. Майлингова, 1998. - 125 с. - Текст : непосредственный.Агафонов В.Н. Анализ, организация и компьютеризация понятийных средств спецификации программ : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. Н. Агафонов, 1994. - 41 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽