Program Specification

Program Specification
Author :
Publisher : Springer Science & Business Media
Total Pages : 436
Release :
ISBN-10 : 3540114904
ISBN-13 : 9783540114901
Rating : 4/5 (901 Downloads)

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

Program Specification
Language: en
Pages: 436
Authors: J. Staunstrup
Categories: Computers
Type: BOOK - Published: 1982-04 - Publisher: Springer Science & Business Media

GET EBOOK

Program Development in Java
Language: en
Pages: 472
Authors: Barbara Liskov
Categories: Computers
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional

GET EBOOK

Liskov (engineering, Massachusetts Institute of Technology) and Guttag (computer science and engineering, also at MIT) present a component- based methodology fo
Tips on Program Specification Practices
Language: en
Pages: 32
Authors: United States. Air Force. Space Division
Categories: Contracts
Type: BOOK - Published: 1985 - Publisher:

GET EBOOK

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

GET EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Software Specification and Design
Language: en
Pages: 400
Authors: Ph.D., John C. Munson
Categories: Computers
Type: BOOK - Published: 2005-09-26 - Publisher: CRC Press

GET EBOOK

The rigors of engineering must soon be applied to the software development process, or the complexities of new systems will initiate the collapse of companies t