Items related to Initial Computability, Algebraic Specifications, and...
Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) - Hardcover
Synopsis
One of the first detailed expositions of partial algebras, this book develops a special theory of partial algebras as a powerful foundation of a model theoretic, initial semantics of algebraic specification languages. Professor Reichel explores the possibility of increasing the use of partial algebras, particularly in computer science. He presents examples of algebraic specifications of increasing complexity and proves that structural induction can yield a complete calculus of abstract programs on parameterized abstract data types. Finally, he extends the model-theoretic initial semantics of abstract data types with partial operations to behavioral semantics.
"synopsis" may belong to another edition of this title.
Search results for Initial Computability, Algebraic Specifications, and...
Stock Image
Initial Computability, Algebraic Specifications, and Partial Algebras
Published by
Oxford University Press, Incorporated, 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP93017864
Quantity: 1 available
Seller Image
Initial Computability Algebraic Specifications and Partial Algebras ( International Series of Monographs on Computer Science)
Published by
Clarendon Press; Oxford Science Publcations, Oxford, England, 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Used
Hardcover
First Edition
Seller: Dorley House Books, Inc., Hagerstown, MD, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Near Fine. 1st. First Edition, First Printing; 221 clean, unmarked pages; black c w/gilt titles. Seller Inventory # 018983
Quantity: 1 available
Stock Image
Initial Computability Algebraic Specifications and Partial Algebras
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-627-475
Quantity: 1 available
Stock Image
Initial Computability Algebraic Specifications and Partial Algebras (International Series of Monographs on Computer Science)
Published by
Clarendon Press 03.12.1987., 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. 220 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 24,1 x 16,0 x 1,8 cm, Gebundene Ausgabe. Seller Inventory # 368207
Quantity: 1 available