Fundamentals of Algebraic Specification 1
Equations and Initial Semantics
by Hartmut Ehrig
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
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.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Data structures (computer science), AlgebraShowing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Nov 23, 2011, Springer, Springer Berlin Heidelberg
paperback
3642699642 9783642699641
|
zzzz
Libraries near you:
WorldCat
|
2
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Dec 10, 2011, Springer
paperback
3642699634 9783642699634
|
zzzz
Libraries near you:
WorldCat
|
3
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
1985, Springer Berlin Heidelberg
electronic resource :
in English
3642699626 9783642699627
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created June 30, 2019
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Edited by ImportBot | import existing book |
| June 30, 2019 | Created by MARC Bot | Imported from Internet Archive item record |