|
|
libcats.org
Mathematics of Program Construction, 8 conf., MPC 2006Tarmo UustaluThis book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006, co-located with AMAST 2006, the 11th International Conference on Algebraic Methodology and Software Technology. The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 45 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Скачать книгу бесплатно (pdf, 3.61 Mb)
Читать «Mathematics of Program Construction, 8 conf., MPC 2006» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Интегральная геометрия и связанные с ней вопросы теории представленийАвтор: Гельфанд И.М., Автор: Граев М.И., Автор: Виленкин Н.Я.
Размер книги: 5.98 Mb
Руководство по рефлексотерапииАвтор: Матчерет, Автор: СамосюкКатегория: 1552037-Китайская медицина
Размер книги: 159.39 Mb
Технология машиностроения (специальная часть)Автор: А. А. Гусев, Автор: Е. Р. Ковальчук, Автор: И. М. Колесов и др.
Размер книги: 22.31 Mb
Психология эмоций Я знаю, что ты чувствуешьАвтор: Пол ЭкманКатегория: КНИГИ ПСИХОЛОГИЯ
Размер книги: 33.52 Mb
HTML5 Solutions: Essential Techniques for HTML5 DevelopersАвтор: Marco Casario, Автор: Peter Elst, Автор: Charles Brown, Автор: Nathalie Wormser, Автор: Cyril Hanquez
Размер книги: 5.07 Mb
Молекулы и жизнь. Введение в молекулярную биофизикуАвтор: Волькенштейн М.В.Категория: B_Biology
Размер книги: 9.01 Mb
|
|
|