Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

by ,

Write The First Customer Review
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Ehrig, Hartmut, and Mahr, Bernd
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 ...

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics 2011, Springer

ISBN-13: 9783642699641

Trade paperback

Select
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics 1985, Springer

ISBN-13: 9783540137184

Hardcover

Select