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


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

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

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

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

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

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

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

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

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

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


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

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

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


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

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

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

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

Войти

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

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

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

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


Способы оплаты:
Z-PAYMENT VISA Card MasterCard Yandex деньги WebMoney Сбербанк или любой другой банк SMS оплата ПРИВАТ 24 qiwi PayPal

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

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

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

Здесь находится аттестат нашего WM идентификатора 782443000980
Проверить аттестат


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