Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

by ,

Write The First Customer Review

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

Softcover Reprint of the Origi edition

Trade paperback

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

ISBN-13: 9783540137184

Hardcover

Select