Overview
Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS, volume 21)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(11 chapters)
About this book
Authors and Affiliations
-
Technische Universität Berlin, FB 20 (Informatik), Berlin 10, Germany
Hartmut Ehrig, Bernd Mahr
Bibliographic Information
Book Title: Fundamentals of Algebraic Specification 2
Book Subtitle: Module Specifications and Constraints
Authors: Hartmut Ehrig, Bernd Mahr
Series Title: Monographs in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-642-61284-8
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1990
Hardcover ISBN: 978-3-540-51799-3Published: 28 December 1989
Softcover ISBN: 978-3-642-64776-5Published: 08 October 2011
eBook ISBN: 978-3-642-61284-8Published: 06 December 2012
Series ISSN: 1431-2654
Series E-ISSN: 2193-2069
Edition Number: 1
Number of Pages: XI, 429
Topics: Algebra, Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters