libcats.org
Главная

Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002

Обложка книги Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002

Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002

,

This volume is devoted to the 10th Anniversary Colloquium of UNU/IISI, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.

The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IISI as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.

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

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

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

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

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

Древо жизни

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

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

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

Mathematical Foundations of Computer Science 1977 6 conf

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

AI 2007.. Advances in Artificial Intelligence, 20 conf

Автор: , Автор:
Категория: CsLn_
Размер книги: 12.78 Mb

Database Modeling and Design

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

From Discourse to Logic

Автор: , Автор:
Категория: L_Languages, LF_Formal theory
Размер книги: 8.91 Mb

Jean Baudrillard: Selected Writings: Second Edition

Автор: , Автор: , Автор:
Категория: Philosophy
Размер книги: 3.26 Mb

Small animal diagnostic ultrasound

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