Bild 1 von 1
Galerie
Bild 1 von 1
Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New
US $59,67
Ca.EUR 51,49
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
- Sofort-KaufenSystematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Standard Shipping.
Standort: Sparks, Nevada, USA
Lieferung:
Lieferung zwischen Fr, 1. Aug und Mi, 6. Aug nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:403997022963
Artikelmerkmale
- Artikelzustand
- Book Title
- Systematic Program Design: From Clarity to Efficiency
- Publication Date
- 2013-05-20
- ISBN
- 9781107610798
Über dieses Produkt
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
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
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Info zu diesem Verkäufer
AlibrisBooks
98,6% positive Bewertungen•1,9 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (513.039)
- m***m (2297)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI’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!
- a***n (43)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufMistakenly 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!
- n***c (94)- Bewertung vom Käufer.Letzte 6 MonateBestätigter Kaufseller 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.
Noch mehr entdecken:
- Zeitschriften Design,
- Bücher über Design,
- Annie-Dillard-Taschenbuch-Sachbuch Bücher,
- Bücher über Design Sachbuch,
- Monatliche Zeitschriften Design,
- Englische Zeitschriften Design,
- Deutsche zweimonatliche Zeitschriften Design,
- Deutsche Bücher über Design Sachbuch,
- Freizeit-, - Hobbys- & - Lifestyle-Sachbuch Bücher Design,
- Als gebundene Ausgabe mit Kunst- & Kultur-Bücher auf Englisch Sachbuch Design
AlibrisBooks
98,6% positive Bewertungen•1,9 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (513.039)
- m***m (2297)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI’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!
- a***n (43)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufMistakenly 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!
- n***c (94)- Bewertung vom Käufer.Letzte 6 MonateBestätigter Kaufseller 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.