Logo

Programming from Specifications

Large book cover: Programming from Specifications

Programming from Specifications
by

Publisher: Prentice-Hall
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.

Home page url

Download or read it online for free here:
Download link
(multiple PS files)

Similar books

Book cover: Windows ProgrammingWindows 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.
(11992 views)
Book cover: Foundations of Computer ScienceFoundations of Computer Science
by - University of Cambridge
This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style.
(13900 views)
Book cover: The Black Art of ProgrammingThe Black Art of Programming
by - 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.
(8438 views)
Book cover: Programming PearlsProgramming Pearls
by - Addison-Wesley Professional
The book focuses on choosing the right algorithms and on showing how to solve problems effectively. Each chapter frames a particular programming task (sorting numbers, creating anagrams, counting the words). Code examples are written in C and C++.
(16878 views)