Back to home page
|Listed in category:

Picture 1 of 1

Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New - Picture 1 of 1
Have one to sell?
Sell it yourself

Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New

AlibrisBooks
(461017)
Registered as a business seller
Seller's other items
Contact seller
US $59.67
Approximately£44.40
Condition:
New
Breathe easy. Returns accepted.
Postage:
Free Standard Shipping.
Located in: Sparks, Nevada, United States
Delivery:
Estimated between Thu, 31 Jul and Wed, 6 Aug to 94104
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the delivery service selected, the seller's delivery history and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
    Diners Club

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Seller assumes all responsibility for this listing.
eBay item number:403997022963
Last updated on 02 May, 2025 23:19:18 BSTView all revisionsView all revisions

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
Book Title
Systematic Program Design: From Clarity to Efficiency
Publication Date
2013-05-20
ISBN
9781107610798

About this product

Product Identifiers

Publisher
Cambridge University Press
ISBN-10
1107610796
ISBN-13
9781107610798
eBay Product ID (ePID)
143632138

Product Key Features

Number of Pages
253 Pages
Publication Name
Systematic Program Design : from Clarity to Efficiency
Language
English
Publication Year
2013
Subject
Programming Languages / General, General
Type
Textbook
Subject Area
Computers
Author
Yanhong Annie Liu
Format
Trade Paperback

Dimensions

Item Height
0.6 in
Item Weight
15.2 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
2012-047527
Dewey Edition
23
Reviews
"It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended." L. Benedicenti, Choice, 'As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience.' M. M. Tanik, Computing Reviews, "As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience." M. M. Tanik, Computing Reviews
Illustrated
Yes
Dewey Decimal
005.1
Table Of Content
1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion.
Synopsis
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., 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. 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.
LC Classification Number
QA76.6

Item description from the seller

Seller business information

I certify that all my selling activities will comply with all EU laws and regulations.
About this seller

AlibrisBooks

98.6% positive Feedback•1.9M items sold

Joined May 2008
Usually responds within 24 hours
Registered as a business seller
Alibris is the premier online marketplace for independent sellers of new & used books, as well as rare & collectible titles. We connect people who love books to thousands of independent sellers around ...
See more
Visit shopContact

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
5.0
Communication
5.0

Seller Feedback (512,994)

All ratings
Positive
Neutral
Negative
  • m***m (2297)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    I’m thrilled with my recent purchase . The website was user-friendly, and the product descriptions were accurate. Customer service was prompt and helpful, answering all my questions. My order arrived quickly, well-packaged, and the product exceeded my expectations in quality. I’m impressed with the attention to detail and the overall experience. I’ll definitely shop here again and highly recommend from this seller to others. Thank you for a fantastic experience!
    Tobin's Spirit Guide: Official Ghostbusters Edition by Erik Burnham: Used (#404302598631)
  • a***n (43)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Mistakenly ordered a paperback that I thought was a hardcover, not sellers fault; it was described properly on the listing. Seller still processed a refund the day I went to return the item and let me keep the item anyway. A+++ service. Book arrived quickly in great condition and for a great price. Thank you so much! Amazing seller!
    The Oxford History of the Renaissance by Gordon Campbell: New (#364382013003)
  • n***c (94)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    seller was communicative about my shipment, media mail took a while and tracking wasn't updated frequently, but seller communicated to me very quickly on status. the item came new and wrapped as described, though the packaging in it was packed wasn't sturdy and falling apart when it got to me.
    Michael Jang: Who Is Michael Jang? by Michael Jang: New (#401849573576)
See all Feedback

More to explore: