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: The Little Introduction To ProgrammingThe Little Introduction To Programming
by - codingintro.com
This book will teach you the fundamentals of programming and act as a foundation for whatever your programming goals may be. Rather than ignore complexities, we will face them head-on, in small steps, and unshroud the mysteries of computer language.
(15916 views)
Book cover: Concepts, Techniques, and Models of Computer ProgrammingConcepts, Techniques, and Models of Computer Programming
by - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
(25743 views)
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.
(18527 views)
Book cover: Problem Solving for Coding InterviewsProblem Solving for Coding Interviews
by - GitBook
These are engineer's notes on problem solving. They are ideally suited as practice material for coding interviews. Each post has 5 sections: problem statement, examples, algorithm, code, test cases, and a discussion on time-complexity.
(7999 views)