Monographs in Theoretical Computer Science. An EATCS Series

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

Authors: Ehrig, Hartmut, Mahr, Bernd

Free Preview

Buy this book

eBook $119.00
price for USA in USD
  • ISBN 978-3-642-69962-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $159.99
price for USA in USD
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)

Table of contents (11 chapters)

Buy this book

eBook $119.00
price for USA in USD
  • ISBN 978-3-642-69962-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $159.99
price for USA in USD
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