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

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

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



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



Нашли опечатку?
Выделите ее мышкой и нажмите 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. 1

Авторы: Wing J.M., Woodcook J., Davies J.

Аннотация:

This book constitutes, together with its compagnion LNCS 1709, 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. Besides five invited papers this volume contains the following sections: integration into the development process; software architecture; European Association for Theoretical Computer Science (EATCS); model checking; the B method; composition and synthesis; telecommunications; security; object-orientation; testing.


Язык: en

Рубрика: Технология/

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

ed2k: ed2k stats

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

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

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

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