Synopsis
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.
"synopsis" may belong to another edition of this title.
About the Author
Yanhong Annie Liu is a Professor of Computer Science at Stony Brook University. She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University. Her primary research has focused on general and systematic methods for program development, algorithm design, and problem solving. She has published in many top journals and conferences, served more than fifty conference chair or committee roles, and been awarded more than twenty research grants in her areas of expertise. She has taught more than twenty different courses in a wide range of Computer Science areas and presented close to a hundred research talks and invited talks at international conferences, universities, and research institutes. She received a State University of New York Chancellor's Award for Excellence in Scholarship and Creative Activities in 2010.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Systematic Program Design: From Clarity to Efficiency
Stock Image
Systematic Program Design: From Clarity to Efficiency
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
Used
paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_402871038
Stock Image
SYSTEMATIC PROGRAM DESIGN
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 272 14 Illus. Seller Inventory # 46367713
Buy New
£ 29.29
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
SYSTEMATIC PROGRAM DESIGN
Published by
Cambridge University Press CUP, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 272. Seller Inventory # 2645366334
Stock Image
SYSTEMATIC PROGRAM DESIGN
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 272. Seller Inventory # 1845366324
Stock Image
SYSTEMATIC PROGRAM DESIGN: FROM CLARITY TO EFFICIENCY
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-141519
Stock Image
Systematic Program Design: From Clarity To Efficiency
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-176276
Stock Image
Systematic Program Design: From Clarity to Efficiency
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9781107610798
Stock Image
Systematic Program Design: From Clarity to Efficiency
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 272 pages. 9.20x6.00x0.80 inches. In Stock. This item is printed on demand. Seller Inventory # __1107610796
Buy New
£ 44.74
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Systematic Program Design (Paperback)
Published by
Cambridge University Press, Cambridge, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies. A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781107610798
Stock Image
Systematic Program Design: From Clarity to Efficiency
Published by
Cambridge University Press, 2013
ISBN 10: 1107610796
ISBN 13: 9781107610798
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781107610798_new
Buy New
£ 47.39
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available