Programming from Specifications

Programming from Specifications
Author :
Publisher :
Total Pages : 360
Release :
ISBN-10 : UOM:39015032594056
ISBN-13 :
Rating : 4/5 (56 Downloads)

Book Synopsis Programming from Specifications by : Carroll Morgan

Download or read book Programming from Specifications written by Carroll Morgan and published by . This book was released on 1994 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic.


Programming from Specifications Related Books

Programming from Specifications
Language: en
Pages: 360
Authors: Carroll Morgan
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Larch: Languages and Tools for Formal Specification
Language: en
Pages: 266
Authors: John V. Guttag
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho
Automatic Program Development
Language: en
Pages: 283
Authors: Olivier Danvy
Categories: Computers
Type: BOOK - Published: 2008-01-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation
Algebraic Specification Techniques in Object Oriented Programming Environments
Language: en
Pages: 228
Authors: Ruth Breu
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Springer Verlag

DOWNLOAD EBOOK

"The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The des