Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Butler M., Petre L., Sere K. — Integrated Formal Methods
Butler M., Petre L., Sere K. — Integrated Formal Methods



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Integrated Formal Methods

Авторы: Butler M., Petre L., Sere K.

Аннотация:

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002. The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 2002

Количество страниц: 409

Добавлена в каталог: 13.08.2015

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте