Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
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 suitable as a text book for graduate courses and as a reference for researchers and system developers.
Best prices to buy, sell, or rent ISBN 9780387137186
Related Books
- 1
- 2
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)Ehrig, Hartmut; Mahr, BerndEdition:Softcover reprint of the original 1st ed. 1985ISBN-13:9783642699641
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)Hartmut Ehrig Bernd MahrEdition:1ISBN-13:9783540137184
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)Ehrig, Hartmut; Mahr, BerndEdition:Softcover reprint of the original 1st ed. 1985ISBN-13:9783642699641
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)Hartmut Ehrig Bernd MahrEdition:1ISBN-13:9783540137184
Frequently Asked Questions about Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
The price for the book starts from $18.99 on Amazon and is available from 3 sellers at the moment.
If you’re interested in selling back the Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6) book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.