libcats.org
Главная

Integrated Formal Methods, 7 conf., IFM 2009

Обложка книги Integrated Formal Methods, 7 conf., IFM 2009

Integrated Formal Methods, 7 conf., IFM 2009

,

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in D?sseldorf, Germany in February 2009.

The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Кто убил прекрасную Урсулу

Автор: , Автор:
Категория: Детектив
Размер книги: 180 Kb

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Differential Calculus and Sage

Автор: , Автор:
Размер книги: 3.15 Mb