|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Medical Data Analysis: Second International Symposium, ISMDA 2001, Madrid, Spain, October 8-9, 2001 ProceedingsАвтор: Jose Crespo, Автор: Victor Maojo, Автор: Fernando Martin
Размер книги: 6.45 Mb
PID Control: New Identification and Design MethodsАвтор: Michael A. Johnson, Автор: Mohammad H. Moradi
Размер книги: 4.80 Mb
Mirrors and Reflections: The Geometry of Finite Reflection GroupsАвтор: Alexandre V. Borovik, Автор: Anna BorovikКатегория: M_Mathematics, MPs_Symmetry and groups
Размер книги: 1.81 Mb
Wulffers en de zaak van de bloedverwantenАвтор: Heuvel Dick van denКатегория: fiction
Размер книги: 340 Kb
|
|
|