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


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

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

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

Дата закачки: 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
Проверить аттестат


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