Algebraic specification

Grünler, Thomas; Breau, Micheal; Weber, Rainer

doi:10.1007/3-540-56733-X_142

Thomas Grünler¹^nAff4,
Micheal Breau²^nAff5 &
Rainer Weber³^nAff6

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 680))

149 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Thomas Grünler
Present address: Philips Kommunikations Industrie AG, Thurn-und-Taxis-Straße 14, D-8500, Nürnberg
Micheal Breau
Present address: Siemens-Nixdorf AG, EMSC AP 432, Otto-Hahn-Ring 6, D-8000, München 83
Rainer Weber
Present address: IBM, Europäisches Zentrum für Netzwerksforschung, Tiergartenstraße 8, D-6900, Heidelberg

Authors and Affiliations

Universität Passau, Deutschland
Thomas Grünler
Universität Passau, Deutschland
Micheal Breau
Universität Passau, Deutschland
Rainer Weber

Authors

Thomas Grünler
View author publications
You can also search for this author in PubMed Google Scholar
Micheal Breau
View author publications
You can also search for this author in PubMed Google Scholar
Rainer Weber
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Berthold Hoffmann Bernd Krieg-Brückner

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Grünler, T., Breau, M., Weber, R. (1993). Algebraic specification. In: Hoffmann, B., Krieg-Brückner, B. (eds) Program Development by Specification and Transformation. Lecture Notes in Computer Science, vol 680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56733-X_142

Download citation

DOI: https://doi.org/10.1007/3-540-56733-X_142
Published: 11 July 2005
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56733-2
Online ISBN: 978-3-540-47639-9
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics