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

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

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

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

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Nessus Network Auditing

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

Logic and Structure

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

Visions of Politics

 Автор:
Категория: Academic books, History and archaeology, Skinner - Visions of Politics vol 1-3
Размер книги: 1.14 Mb

Трактат о счетах и записях

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

Families and States in Western Europe

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

Фурье

 Автор:
Категория: society, society, memoirs
Размер книги: 9.19 Mb