This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.
| Author: Michel Bidoit |
| Publisher: Springer |
| Publication Date: Jun 26, 1991 |
| Number of Pages: 184 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540540601 |
| ISBN-13: 9783540540601 |
Related Products
