ENV : prod
CLUSTER : east
SERVER : va3.pricenetwork.com
image
Computer Program Construction
by: Ali Mili - Jules Desharnais - Fatma Mili
0195092368 / 9780195092363

Book Description:
This book offers a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions to these equations by means of programming heuristics, three classes of which are presented in detail: sequence heuristics are used to decompose the specification of an initialization segment and the specification of while loop; iteration heuristics decompose the specification of a while loop into specification of the loop body and the while condition; generalization heuristics generalize a specification so as to strip away unimportant detail and focus on key aspects of the problem that it represents. The authors have taught this course many times over the years, and their experience is wonderfully showcased in this definitive introduction to the subject. Advanced undergraduate and graduate students studying program construction, as well as computer science researchers, will appreciate the texts emphasis on the use of computation in the construction process, reducing the discretionary aspects of programming to their simplest level.

Computer Program Construction

Buyback (Sell directly to one of these merchants and get cash immediately)

No Offers.

Currently there are no buyers interested in purchasing this book. While the book has no cash or trade value, you may consider donating it

campusbooks.com  BBB Business Review CopyScape