Terug naar de homepage

Afbeelding 1 van 1

Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu: New - Afbeelding 1 van 1
Hebt u iets om te verkopen?
Verkoop het zelf

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

AlibrisBooks
(462017)
Ingeschreven als zakelijke verkoper
Andere objecten van verkoper
Contact opnemen met verkoper
US $59,67
OngeveerEUR 51,55
Objectstaat:
Nieuw
Wees gerust. Retourzendingen worden geaccepteerd.
Verzendkosten:
Gratis Standard Shipping.
Bevindt zich in: Sparks, Nevada, Verenigde Staten
Levering:
Geschatte levering tussen za, 9 aug en vr, 15 aug tot 94104
De levertijd wordt geschat met onze eigen methode op basis van onder meer de nabijheid van de koper ten opzichte van de objectlocatie, de geselecteerde verzendservice, en de verzendgeschiedenis van de verkoper. De leveringstermijnen kunnen variëren, vooral gedurende piekperiodes.
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending Als u een eBay-verzendlabel gebruikt, wordt dit in mindering gebracht op het terugbetalingsbedrag.
Betalingen:
     Diners Club

Winkel met vertrouwen

Geld-terug-garantie van eBay
Ontvang het object dat u hebt besteld of krijg uw geld terug. Meer informatieGeld-terug-garantie van eBay - nieuw venster of tabblad
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:403997022963
Laatst bijgewerkt op 03 mei 2025 00:19:18 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

Objectstaat
Nieuw: Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of ...
Book Title
Systematic Program Design: From Clarity to Efficiency
Publication Date
2013-05-20
ISBN
9781107610798

Over dit 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

Objectbeschrijving van de verkoper

Informatie van zakelijke verkoper

Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
Over deze verkoper

AlibrisBooks

98,6% positieve feedback•1,9M objecten verkocht

Lid geworden op mei 2008
Reageert meestal binnen 24 uur
Ingeschreven als zakelijke verkoper
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 ...
Meer weergeven
Winkel bezoekenNeem contact met ons op

Gedetailleerde verkopersbeoordelingen

Gemiddelde van de afgelopen 12 maanden
Nauwkeurige beschrijving
4.9
Redelijke verzendkosten
5.0
Verzendtijd
5.0
Communicatie
5.0

Feedback verkoper (514.112)

Alle beoordelingen
Positief
Neutraal
Negatief
  • l***r (128)- Feedback gegeven door koper.
    Afgelopen maand
    Geverifieerde aankoop
    Image of the book is completely different from the actual book. The condition of the book is as described. However, there are stickers on the book saying no exchange and no returns, yet the listing says it can be returned so which is it? I won't be returning it because the book is still the same book, just different than the image presented. Overall, this transaction was good. I just wish sellers would use the actual picture of the item being sold instead of a stock image.
    Hard Sayings of Jesus by F F Bruce: Used (nr. 285318273515)
  • s***g (538)- Feedback gegeven door koper.
    Afgelopen maand
    Geverifieerde aankoop
    Item as advertised. No Problems.
    Classic Country: Early '60s by Various Artists: Used (nr. 285032496610)
  • o***g (1951)- Feedback gegeven door koper.
    Afgelopen maand
    Geverifieerde aankoop
    Fast shipment and good price.
    Rules of the Game by Neil Strauss: Used (nr. 404316987437)
Alle feedback weergeven