Book Volume 501 1991

Algebraic system specification and development

A survey and annotated bibliography

ISBN: 978-3-540-54060-1 (Print) 978-3-540-47382-4 (Online)

Table of contents (6 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-6

    Introduction

  3. No Access

    Chapter

    Pages 7-14

    Basic foundations

  4. No Access

    Chapter

    Pages 15-23

    Models and logics

  5. No Access

    Chapter

    Pages 25-34

    Development concepts

  6. No Access

    Chapter

    Pages 35-47

    Support tools

  7. No Access

    Chapter

    Pages 49-57

    Applications

  8. Back Matter

    Pages -