2014322
9783540223801
Mathematics Of Program Construction
by Kozen, Dexter, Shankland, Carron
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: 9783540223801
- ISBN: 3540223800
- Publication Date: 2004
- Publisher: Springer
AUTHOR
SUMMARY
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004. The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.Kozen, Dexter is the author of 'Mathematics Of Program Construction', published 2004 under ISBN 9783540223801 and ISBN 3540223800.
[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.
