Monographs in Theoretical Computer Science. An EATCS Series

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

Authors: Ehrig, Hartmut, Mahr, Bernd

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-69962-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-69964-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Table of contents (11 chapters)

  • Introduction

    Ehrig, Hartmut (et al.)

    Pages 1-8

  • Equational Specifications and Algebras

    Ehrig, Hartmut (et al.)

    Pages 9-31

  • Specification of Abstract Data Types

    Ehrig, Hartmut (et al.)

    Pages 32-61

  • Initial Semantics of Specifications

    Ehrig, Hartmut (et al.)

    Pages 62-88

  • Specificability and Characterization of Equational Classes

    Ehrig, Hartmut (et al.)

    Pages 89-107

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-69962-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-69964-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamentals of Algebraic Specification 1
Book Subtitle
Equations and Initial Semantics
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Series Volume
6
Copyright
1985
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-69962-7
DOI
10.1007/978-3-642-69962-7
Softcover ISBN
978-3-642-69964-1
Series ISSN
1431-2654
Edition Number
1
Number of Pages
XI, 321
Topics