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 | M. Bidoit (et.al) |
Publisher | Springer Science & Business Media |
Release Date | 1991-06-26 |
ISBN | 9783540540601 |
Pages | 98 pages |
Rating | 4/5 (01 users) |