|
|
libcats.org
Mathematics of program construction: 10 conf., MPC 2010Claude Bolduc, Jules Desharnais, Bechir KtariThis book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Québec City, Canada in June 2010. The 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics.
Скачать книгу бесплатно (pdf, 3.21 Mb)
Читать «Mathematics of program construction: 10 conf., MPC 2010» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:
Полное собрание сочинений. Братья Карамазовы. Части I-IIАвтор: Федор Достоевский
Размер книги: 9.70 Mb
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final ReportАвтор: Manfred Broy, Автор: Stefan Jähnichen
Размер книги: 3.92 Mb
The Enterprise of Knowledge: An Essay on Knowledge, Credal Probability, and ChanceАвтор: Isaac Levi
Размер книги: 4.45 Mb
|
|
|