《Mathematics of Program Construction》是Springer出版的圖書，作者是Backhouse, R.; Oliveira, J. Nuno; Backhouse, Roland
基本介紹
- ISBN：9783540677277
- 作者：Backhouse, R.; Oliveira, J. Nuno; Backhouse, Roland
- 出版社：Springer
- 出版時間：2000年6月21日
- 頁數：262
- 定價：USD 89.99
- 裝幀：Paperback
內容簡介
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 methodol...(展開全部) 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.
