libcats.org
Главная →

Recent Trends in Algebraic Development Techniques, 15 conf., WADT 2001

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

Recent Trends in Algebraic Development Techniques, 15 conf., WADT 2001

,
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
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
Только что пользователи скачали эти книги:

H-optimal control and related minimax design problems

 Автор: , Автор:
Категория: M_Mathematics, MOc_Optimization and control
Размер книги: 1.25 Mb

Public Key Cryptography - PKC 2004, 7 conf

 Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 11.28 Mb

Secrets of Pawn Endings

 Автор: , Автор:
Категория: eLearning_book, hobbies_Leisure_time_guides
Размер книги: 2.37 Mb