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.Похожие книги
 | Introduction to Frames and Riesz Bases Автор: Christensen O. Год: 2003 |
 | Circuit Design for RF Transceivers Автор: Domine Leenaerts Год: 2001 |
| Analysis of Rocket Propellants Автор: Hugh E. Malone Год: 1977 |
 | Improved Decision-making in Data Mining Автор: Eric Kyper Год: 2010 |
 | Total Aikido: The Master Course (Bushido--The Way of the Warrior) Автор: Gozo Shioda, Yasuhisa Shioda Год: 1997 |
| Total Aikido: The Master Course (Bushido--The Way of the Warrior) Автор: Gozo Shioda, Yasuhisa Shioda Год: 1997 |