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

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

blank
blank
blank
Красота
blank
World Congress on Formal Methods in the Development of — FM '99-Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2
World Congress on Formal Methods in the Development of  — FM '99-Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2



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



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


Название: FM '99-Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2

Автор: World Congress on Formal Methods in the Development of

Аннотация:

This book constitutes, together with its compagnion LNCS 1708, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse, France in September 1999. The 92 revised full papers presented in the two volumes were carefully reviewed and selected from a total of 259 paper submissions from 35 different countries. Also included are 15 abstracts describing work in progress and industrial applications. The papers are organized in topical sections. This volume contains the following sections: foundations of system specification (IFIP WG 1.3); European Theory and Practice of Software (ETAPS); program verification; integration of notation and techniques; formal description of programming concepts (IFIP WG 2.2); open information systems; co-design; refinement; safety; OBJ/Cafe OBJ/Maude; Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST); avionics; works-in-progress; industrial experience.


Язык: en

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

ed2k: ed2k stats

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

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

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

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