Program Design Calculi

by Manfred Broy

Book Overview

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642081649
• ISBN13: 9783642081644
• Release Date: December 2010
• Publisher: Springer
• Length: 416 Pages
• Weight: 1.31 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"