libcats.org
Главная

International Symposium on Fundamentals of Software Engineering

Обложка книги International Symposium on Fundamentals of Software Engineering

International Symposium on Fundamentals of Software Engineering

,
This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007, held in Tehran, Iran, April 17-19, 2007.The 32 revised papers presented were carefully reviewed and selected from 73 submissions. The topics include Models of programs and systems, Software specification, validation and verification, Software architectures and their description languages, Object and multi-agent systems, Coordination and feature interaction, Integration of formal and informal methods, Integration of different formal methods, Component-based development, Service-oriented development, Model checking and theorem proving, Software and hardware verification and CASE tools and tool integration.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

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

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

В помощь радиолюбителю (Выпуск 96, djvu)

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

Games of no chance

Автор:
Категория: Mathematics, Algebra, Combinatorics
Размер книги: 2.89 Mb

Basic category theory for computer scientists

Автор:
Категория: Mathematics, Algebra, Category theory
Размер книги: 5.43 Mb

Царское золото на Урале

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

Никогда не наступит завтра

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

The People of Taihang: An Anthology of Family Histories

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