1182818
9783540677277
Mathematics of Program Construction 5th International Conference, Mpc 200, Ponte De Lima, Portugal, July 200 Proceedings
by Backhouse, Roland C., Oliveira, Jose Nuno
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9783540677277
- ISBN: 3540677275
- Publisher: Springer
AUTHOR
SUMMARY
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.Backhouse, Roland C. is the author of 'Mathematics of Program Construction 5th International Conference, Mpc 200, Ponte De Lima, Portugal, July 200 Proceedings' with ISBN 9783540677277 and ISBN 3540677275.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
