Programming from Specifications
by Carroll Morgan
Publisher: Prentice-Hall 1998
ISBN/ASIN: 0137262337
ISBN-13: 9780137262335
Number of pages: 260
Description:
Programming from Specifications presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement. The second edition retains the simple approach of the original: the integration of specification, development and coding, and the use of ordinary (classical) logic. Additions include more material on data refinement, a complete chapter on recursively defined types, and two further extended case studies.
Download or read it online for free here:
Download link
(multiple PS files)
Similar books
Inductive Logic Programming: Theory and Methodsby Stephen Muggleton, Luc de Raedt - ScienceDirect
Inductive Logic Programming is a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge. The authors survey the most important theories and methods of this new field.
(36776 views)
Windows Programming- Wikibooks
This book aims to be a comprehensive source for any developer who is interested in programming for the Windows platform. The reader is assumed to have a previous knowledge of the programming languages involved: C, C++, and Visual Basic.
(19334 views)
The Black Art of Programmingby Mark McIlroy - Blue Sky Technology
This book is an introduction to computer programming. It covers the essential information of a Computer Science course. Recommended for beginners and intermediate programmers. Contents: Program Structure; Topics from Computer Science; etc.
(17775 views)
The Craft of Programmingby John C. Reynolds - Prentice Hall
Read this book if you need a much deeper understanding of programming: the need to carefully structure a program to avoid being overwhelmed by its complexity, or the need to insure reliability beyond what can he achieved by debugging.
(24282 views)