Algebraic Specification Techniques And Tools For Software Development: The Act Approach

Algebraic Specification Techniques And Tools For Software Development: The Act Approach - Amast Series In Computing

Hardback (01 Nov 1993)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.

Book information

ISBN: 9789810212278
Publisher: World Scientific
Imprint: World Scientific Publishing
Pub date:
Language: English
Number of pages: 256
Weight: 485g
Height: 220mm
Width: 162mm
Spine width: 19mm