Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, Uk, July 12-14, 2004, Proceedings

by Dexter Kozen

This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540223800
• ISBN13: 9783540223801
• Release Date: June 2004
• Publisher: Springer
• Length: 404 Pages
• Weight: 2.11 lbs.
• Dimensions: 0.8" x 8.5" x 11.0"