libcats.org
Главная

Integrated Formal Methods, 6 conf., IFM 2007

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

Integrated Formal Methods, 6 conf., IFM 2007

,

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007.

The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method, based upon the inclusion of ideas or concepts from others, informal or semi-formal modelling languages, tools, or techniques, and semantic integration or practical application.

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

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Philip's atlas of world history

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

Philip's Atlas of World History.

Автор:
Категория: Social
Размер книги: 59.02 Mb

Практикум по органической химии:

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

World History: Patterns of Interaction: Atlas By Rand Mcnally

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

Philip's Atlas of World History, Concise Edition (Historical Atlas)

Автор:
Категория: История
Размер книги: 55.90 Mb

Paradise City A Joe Gunther Novel

Автор:
Категория: fiction
Размер книги: 3.20 Mb