Все разделы / Книги, учебники, методические пособия /


Страницу Назад
Поискать другие аналоги этой работы

За деньгиЗа деньги (5 руб.)

Замулин А.В. Формальные методы спецификации программ

Дата закачки: 26 Августа 2012
Продавец: GnobYTEL
    Посмотреть другие работы этого продавца

Тип работы: Пособие Учебное
Форматы файлов: Microsoft Word

Описание:
Новосибирск, НГУ. 2002. 100 стр.
В предлагаемом учебном пособии рассматриваются два основных метода формального описания программных систем: метод ал-гебраических спецификаций и метод типизированных машин абстрактных состояний. Первый метод предназначен для описания статических аспектов системы, а второй – для описания динамиче-ских аспектов системы. Пособие начинается с рассмотрения задач формального метода в разработке программ, затем дается введение в метод алгебраических спецификаций и вслед за этим подробно рассматривается конкретный метод структурированных алгебраических спецификаций. Пособие заканчивается описанием типизированных машин абстрактных состояний.
Пособие рассчитано на студентов 3-4 курсов, специализирую-щихся в области информатики.

Размер файла: 107,2 Кбайт
Фаил: Упакованные файлы (.zip)

 Скачать Скачать

 Добавить в корзину Добавить в корзину

    Скачано: 6         Коментариев: 0


Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

К сожалению, предложений нет. Рекомендуем воспользваться поиском по базе.

Сдай работу играючи!

Рекомендуем вам также биржу исполнителей. Здесь выполнят вашу работу без посредников.
Рассчитайте предварительную цену за свой заказ.



Страницу Назад

  Cодержание / Книги, учебники, методические пособия / Замулин А.В. Формальные методы спецификации программ

Вход в аккаунт:

Войти

Перейти в режим шифрования SSL

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт




Сайт помощи студентам, без посредников!