Program Specification

Author	: J. Staunstrup
Publisher	: Springer Science & Business Media
Total Pages	: 436
Release	: 1982-04
ISBN-10	: 3540114904
ISBN-13	: 9783540114901
Rating	: 4/5 (04 Downloads)

DOWNLOAD EBOOK

Book Synopsis Program Specification by : J. Staunstrup

Download or read book Program Specification written by J. Staunstrup and published by Springer Science & Business Media. This book was released on 1982-04 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Program Specification Related Books

Language: en
Pages: 436

Program Specification

Authors: J. Staunstrup

Categories: Computers

Type: BOOK - Published: 1982-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Language: en
Pages: 360

Programming from Specifications

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

Language: en
Pages: 32

Tips on Program Specification Practices

Authors: United States. Air Force. Space Division

Categories: Contracts

Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 472

Program Development in Java

Authors: Barbara Liskov

Categories: Computers

Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

Liskov (engineering, Massachusetts Institute of Technology) and Guttag (computer science and engineering, also at MIT) present a component- based methodology fo

Language: en
Pages: 594

Foundations of Algebraic Specification and Formal Software Development

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