Items related to Fundamentals of Algebraic Specification 1: Equations...
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Fundamentals of Algebraic Specification 1: Equations...
Seller Image
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Published by
Springer-Verlag, Berling, Heidelberg, et al., 1985
ISBN 10: 0387137181
ISBN 13: 9780387137186
Used
Hardcover
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Berling, Heidelberg, et al.: Springer-Verlag, 1985. XI, 321 pp. 24.5 x 17 cm. Paper covered boards printed silver and red with black titling to cover and spine. Some rubbing and very light scuffing to covers. Bumping to spine ends and corners of boards. Some light speckling to top edge of text block. Interior is clean and unmarked. Binding firm. . Hard Cover. Very Good. Seller Inventory # 626587
Quantity: 1 available
Stock Image
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
Seller: Richard J Barbrick, Bloomington, IN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Hardcover, dust jacket as issued in Good condition. Clean pages. Good binding. Ships fast and guaranteed well protected with domestic tracking. Seller Inventory # 090313-Ehrig
Quantity: 1 available
Stock Image
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Published by
Secaucus, New Jersey, U.S.A.: Springer Verlag, 1985
ISBN 10: 0387137181
ISBN 13: 9780387137186
Used
Hardcover
Seller: Bingo Books 2, Vancouver, WA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. hardback book in very good to near fine condition. Seller Inventory # 125070
Quantity: 1 available