Systematic Program Design From Clarity to Efficiency |
|
| Author:
| Liu, Yanhong Annie |
| ISBN: | 978-1-107-33130-3 |
| Publication Date: | Jun 2013 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.