libcats.org
Главная →

Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

Обложка книги Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

, ,
Proceedings of the 14th International Workshop, WADT'99, held at Chateau de Bonas, France, September 15-18, 1999. The main topics of the workshop included algebraic specification, other approaches to formal specification, specification language and methods, and term rewriting and proof systems. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

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

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

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Двойная честь

 Автор:
Категория: Фэнтези
Размер книги: 737 Kb

A Charmed Life

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

A Brief History of Ancient Astrology

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

Энцефалит клещевой

 Автор:
Категория: Медицина
Размер книги: 263 Kb

Hard Luck Woman

 Автор:
Категория: Песенники и тосты
Размер книги: 2 Kb

Strip Search

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