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

5

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

ID: 72648
Дата закачки: 26 Августа 2012
Продавец: GnobYTEL (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

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

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

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

   Скачать

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


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


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

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

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

Не можешь найти то что нужно? Мы можем помочь сделать! 

От 350 руб. за реферат, низкие цены. Просто заполни форму и всё.

Спеши, предложение ограничено !



Что бы написать комментарий, вам надо войти в аккаунт, либо зарегистрироваться.

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

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

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

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

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


Способы оплаты:
UnionPay СБР Ю-Money qiwi Payeer Крипто-валюты Крипто-валюты


И еще более 50 способов оплаты...
Гарантии возврата денег

Как скачать и покупать?

Как скачивать и покупать в картинках


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