|
|
libcats.org
Mathematics of Program Construction, 5 conf., MPC 2000Roland Backhouse, Jose Nuno OliveiraThis volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view.
Скачать книгу бесплатно (pdf, 1.88 Mb)
Читать «Mathematics of Program Construction, 5 conf., MPC 2000» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Adolescent Sexual Health Education: An Activity SourcebookАвтор: Josefina J. Card PhD, Автор: Tabitha Benner MPAКатегория: science_books, medicine
Размер книги: 994 Kb
Mobile Data Management: Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 ProceedingsАвтор: John Chi-Shing Lui, Автор: Kian-Lee Tan, Автор: John C.-S. Lui
Размер книги: 5.21 Mb
Bauer H. Mass- und Integrationstheorie (de Gruyter, 1992)(de)(T)(273s)_MCat_.djvuАвтор:
Размер книги: 1.80 Mb
Линь-цзи луАвтор: Линь цзи И-сюань, Автор: И. С. (Изабелла Самойловна) Гуревич, Автор: Институт востоковедения (Российская академия наук). Санкт-Петербургский филиал
Размер книги: 10.53 Mb
Методы ведения взрывных работ. Специальные взрывные работы.Автор: М. И. Ганопольский, Автор: В. Л. Барон, Автор: В. А. Белин, Автор: В. В. Пупков, Автор: В. И. Сивенков
Размер книги: 3.40 Mb
Classical and Evolutionary Algorithms in the Optimization fo Optical SystemsАвтор: Darko VasiljevicКатегория: Математика, Оптимизация. Исследование операций.
Размер книги: 48.87 Mb
|
|
|