|
|
libcats.org
Unifying Theories of Programming, 1 conf., UTP 2006Steve Dunne, Bill StoddartThis book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The 14 revised full papers presented, including those by the six invited speakers, were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Сеточно-характеристические численные методыАвтор: Магомедов К.М., Автор: Холодов А.С.
Размер книги: 3.15 Mb
Goedel, Escher, Bach: an eternal golden braidАвтор: Douglas R. HofstadterКатегория: History and Philosophy of Science
Размер книги: 22.08 Mb
Светомузыкальные инструментыАвтор: Галеев Б. М., Автор: Зорин С. М., Автор: Сайфуллин Р. Ф
Размер книги: 3.28 Mb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Kinematic Chains and Machine Components DesignАвтор: Dan B. MarghituКатегория: Техника
Размер книги: 20.92 Mb
Судьбы классического наследия и философско-эстетическая культура Серебряного векаАвтор: Исупов К. Г.Категория: Философия, литература
Размер книги: 3.90 Mb
PhysicsАвтор: James E. Ackroyd, Автор: Mark Anderson, Автор: Carmen Berg, Автор: Brian E. Martin
Размер книги: 35.68 Mb
«Простите, что пишу Вам по делу…»: Письма Г.В. Адамовича редакторам Издательства им. Чехова (1952-1955)Автор: Адамович Георгий ВикторовичКатегория: Филология
Размер книги: 66 Kb
|
|
|