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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.