Advertisement

Algebraic specification

  • Thomas Grünler
  • Micheal Breau
  • Rainer Weber
Part I: Methodology Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 680)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Thomas Grünler
    • 1
  • Micheal Breau
    • 2
  • Rainer Weber
    • 3
  1. 1.Universität PassauDeutschland
  2. 2.Universität PassauDeutschland
  3. 3.Universität PassauDeutschland

Personalised recommendations