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
Только что пользователи скачали эти книги:

Adkins, Patrick H - Titans 3 - Sons of the Titans

Автор:
Размер книги: 448 Kb

Эти странные поляки

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

Прорыв

Автор:
Категория: Посвящения
Размер книги: 4 Kb

The Philosophy of Gandhi: A Study of his Basic Ideas

Автор:
Категория: Образование
Размер книги: 541 Kb

The Magic Meadow

Автор:
Размер книги: 99 Kb