Algebraic Specification: Case Studies in Programming in Language Definition

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: Association for Computing Machinery (ACM)
• Length: 397 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.0" x 6.5" x 9.5"