libcats.org
Главная

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised ... Computer Science and General Issues)

Обложка книги Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised ... Computer Science and General Issues)

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised ... Computer Science and General Issues)

,

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, in June 2006.

The 10 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

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

Каникулы

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

Ремонт импортных телевизоров

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

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

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

Быль-сказка о карандашах и красках

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

Mein Kampf

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

To Change the World: My Years in Cuba

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

Hooked Hats: 20 Easy Crochet Projects

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

The geobiology and ecology of Metasequoia

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

Medicus: A Novel of the Roman Empire

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

The New Yorker Magazine - February 13 & 20, 2012

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

The Evidence for God: Religious Knowledge Reexamined

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

Lord of Vengeance

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