libcats.org
Главная

Mathematics of Program Construction, 5 conf., MPC 2000

Обложка книги Mathematics of Program Construction, 5 conf., MPC 2000

Mathematics of Program Construction, 5 conf., MPC 2000

,
This 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Quantum field theory and topology

Автор:
Категория: Physics, Quantum field theory
Размер книги: 3.42 Mb

Stochastic Mechanics and Stochastic Processes

Автор: , Автор:
Категория: Lecture notes
Размер книги: 1.19 Mb

The Origins of Life and the Universe

Автор:
Размер книги: 2.00 Mb

Meat

Автор:
Размер книги: 1 Kb

The Strange Case Of Dr. Jekyll and And Mr. Hyde

Автор:
Размер книги: 146 Kb

Feynman's Rainbow: A Search for Beauty in Physics and in Life

Автор:
Категория: Physics
Размер книги: 365 Kb

A Creative Approach to Music Fundamentals

Автор:
Размер книги: 5.59 Mb