libcats.org
Главная

Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

Обложка книги Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

,

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

Операция 'Немо'

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

The sublime: groundwork towards a theory

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

Topological Analysis, First Edition

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

The Nihilistic Egoist Max Stirner

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

Vygotsky and research

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

Design of Plate and Shell Structures

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

Wall-to-Wall Dead

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

The Night Fairy

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