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: Learn to ProgramLearn to Program
by - Pragmatic Bookshelf
Pine teaches you how to program in Ruby with a minimum of fuss or bother. Starting with simple one-line programs, you'll see how to have your webpage send you email, to shuffle your music, to rename your photos from your digital camera, and more.
(11233 views)
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.
(6021 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.
(13484 views)
Book cover: The Practice of Parallel ProgrammingThe Practice of Parallel Programming
by - CreateSpace
This book provides an advanced guide to the issues of the parallel and multithreaded programming. It goes beyond the high-level design of the applications, into the details that are often overlooked but vital to make the programs work.
(9934 views)