Close this alert
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. an Eatcs #6)
Current price:
$109.99
Publication Date: November 23rd, 2011
Publisher:
Springer
ISBN:
9783642699641
Pages:
321
Usually Ships in 1 to 5 Days
Description
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.
Other Books in Series
Incomplete Information: Structure, Inference, Complexity (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. an Eatcs #13)
Paperback
Structural Complexity II (Monographs in Theoretical Computer Science. an Eatcs #22)
Paperback
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. an Eatcs #21)
Paperback
Data Structures and Algorithms 3: Multi-Dimensional Searching and Computational Geometry (Monographs in Theoretical Computer Science. an Eatcs #3)
Paperback
Theory of Reversible Computing (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Petri Net Algebra (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Parsing Theory: Volume I Languages and Parsing (Monographs in Theoretical Computer Science. an Eatcs #15)
Hardcover
Algorithms in Combinatorial Geometry (Monographs in Theoretical Computer Science. an Eatcs #10)
Hardcover
Theoretical Aspects of Distributed Computing in Sensor Networks (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Patterns in Permutations and Words (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Theory of Semi-Feasible Algorithms (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Petri Nets: An Introduction (Monographs in Theoretical Computer Science. an Eatcs #4)
Paperback
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. an Eatcs)
Paperback
Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. an Eatcs #25)
Paperback
Handbook of Weighted Automata (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Models and Algorithms of Time-Dependent Scheduling (Monographs in Theoretical Computer Science. an Eatcs)
Hardcover
Handbook of Weighted Automata (Monographs in Theoretical Computer Science. an Eatcs)
Paperback