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
Programming with Specifications
Language: en
Pages: 433
Authors: David Luckham
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica
Program Development in Java
Language: en
Pages: 472
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
An Introduction to Programming with Specifications
Language: en
Pages: 281
Authors: Bozzano G Luisa
Categories: Computers
Type: BOOK - Published: 2012-12-02 - Publisher: Academic Press

DOWNLOAD EBOOK

A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which und
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