Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Ehrig, Hartmut; Mahr, Bernd
ISBN 10: 3642699642 ISBN 13: 9783642699641
Published by Springer, 2011
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 25 March 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9783642699641_new
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Fundamentals of Algebraic Specification 1: ...
Publisher: Springer
Publication Date: 2011
Binding: Soft cover
Condition: New