Algebraic Specification (Acm Press Frontier Series)

By J.A. Bergstra

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0201416352
• ISBN13: 9780201416350
• Release Date: January 1989
• Publisher: Assn for Computing Machinery
• Length: 416 Pages
• Weight: 1.65 lbs.
• Dimensions: 9.8" x 1.0" x 6.8"