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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

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

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

Древо жизни

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

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

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

Задачи по теории строения молекул

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

Mapping Time and Space (The British Library Studies in Map History, 1)

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

FM 100-2-3. The Soviet Army. Troops, organization, and equipment.

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

The Highlander's Bride

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