Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New
US $59,67
Ca.CHF 47,95
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
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
Info zu diesem Verkäufer
AlibrisBooks
98,6% positive Bewertungen•1.9 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (513'038)
- a***c (82)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThe book arrived very quickly and in perfect condition. Great transaction. Thank you
- e***o (725)- Bewertung vom Käufer.Letzter MonatBestätigter KaufAs advertised. Thank you
- o***2 (1237)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThanks
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'038)
- a***c (82)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThe book arrived very quickly and in perfect condition. Great transaction. Thank you
- e***o (725)- Bewertung vom Käufer.Letzter MonatBestätigter KaufAs advertised. Thank you
- o***2 (1237)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThanks