Mathematics of Program Construction: 5th International...

Buy Mathematics of Program Construction: 5th International... here, one of many AIX books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > AIX > Item 576

	Mathematics of Program Construction: 5th International...
	by Roland Backhouse and Jose Nuno Oliveira Sales Rank: 6319049	$59.46 At Amazon on 9-8-2008.

*Features* Cover Type: Paperback with 257 pages Published by: Springer Edition: 1st Edition July 31, 2000 Written in: English ISBN 10 Number: 3540677275 ISBN 13 Number: 978-3540677277 Book Dimensions: 9.2 x 6.1 x 0.6 inches Weighs: 12.8 ounces *Product Description* 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. Book Info Proceedings of the 5th International Conference on Mathematics of Program Construction, held July 3-5, 2000, in Ponte de Lima, Portugal. The scope of the papers is diverse, including topics like programming calculi, programming paradigms, and programming language semantics. Back To Top
Mathematics of Program Construction: 5th International... ~~List Price: $69.95~~ Available from Amazon Price: $59.46 Updated on 9-8-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Mathematics of Program Construction: 5th International... and other related AIX Books here at Rbookshop.com. To view more books about AIX please use the previous and next buttons near the top of this page.