Foto 1 di 1
Galleria
Foto 1 di 1
Ne hai uno da vendere?
Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New
US $59,67
CircaEUR 51,49
Condizione:
Nuovo
Libro nuovo, intatto e non letto, in perfette condizioni, senza pagine mancanti o danneggiate. Per maggiori dettagli, consulta l'inserzione del venditore.
- Compralo SubitoSystematic 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.
Spedizione:
Gratis Standard Shipping.
Oggetto che si trova a: Sparks, Nevada, Stati Uniti
Consegna:
Consegna prevista tra il ven 1 ago e il mer 6 ago a 94104
Restituzioni:
Restituzioni entro 30 giorni. Le spese di spedizione del reso sono a carico dell'acquirente..
Pagamenti:
Fai shopping in tutta sicurezza
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:403997022963
Specifiche dell'oggetto
- Condizione
- Book Title
- Systematic Program Design: From Clarity to Efficiency
- Publication Date
- 2013-05-20
- ISBN
- 9781107610798
Informazioni su questo prodotto
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
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Informazioni su questo venditore
AlibrisBooks
98,6% di Feedback positivi•1,9 milioni oggetti venduti
Registrato come venditore professionale
Feedback sul venditore (513.075)
- m***m (2297)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoI’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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoMistakenly 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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoseller 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.
Vedi altro:
- Riviste di architettura, arte e design mensile, tema architettura, design e foto,
- Libri di testo sul design,
- Riviste di architettura, arte e design, tema architettura, design e foto,
- Riviste di architettura, arte e design, tema architettura, design e foto in italiano,
- Riviste di architettura, arte e design, tema architettura, design e foto in inglese,
- Riviste di architettura, arte e design mensile, tema architettura, design e foto in francese,
- Riviste di architettura, arte e design misti,
- Libri antichi e da collezione, tema architettura e design in italiano,
- Riviste di architettura, arte e design mensile in tedesco,
- Riviste di architettura, arte e design mensile in francese
AlibrisBooks
98,6% di Feedback positivi•1,9 milioni oggetti venduti
Registrato come venditore professionale
Feedback sul venditore (513.075)
- m***m (2297)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoI’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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoMistakenly 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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoseller 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.