- 2 402 202 книги
- Поиск
libcats.org
Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99
Didier Bert, Christine Choppy, Peter MossesProceedings 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.
Скачать книгу бесплатно (pdf, 3.26 Mb)
Читать «Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99»
Читать «Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Готується вбивство (на украинском языке)
Автор: Кашин Владимир ЛеонидовичКатегория: Детектив
Размер книги: 151 Kb
Photography Foundations for Art and Design: The Creative Photography Handbook
Автор: Mark Galer
Размер книги: 44.18 Mb
Percutaneous Vertebroplasty and Kyphoplasty
Автор: John M. Mathis, Автор: Herve Deramond, Автор: Stephen M. BelkoffКатегория: medicine - surgery
Размер книги: 25.89 Mb
Революционное богатство
Автор: Элвин Тоффлер, Автор: Хейди ТоффлерКатегория: Другие общественные науки
Размер книги: 31.05 Mb
Search Engine Optimization for Flash: Best Practices for Using Flash on the Web
Автор: Todd Perkins
Размер книги: 28.25 Mb