Check nearby libraries
Buy this book
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
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 3, 2020 | Edited by ImportBot | import existing book |
June 30, 2019 | Created by MARC Bot | import new book |