Items related to Initial Computability, Algebraic Specifications and...
Initial Computability, Algebraic Specifications and Partial Algebras: 2 (International Series of Monographs on Computer Science) - Hardcover
Synopsis
The aim of this book is to increase the use of partial algebras, especially in computer science. It sets out to achieve this by presenting examples of increasing complexity of algebraic specifications using essentially partial operations, and by proving that structural induction alone yields on equationally partial algebras a complete calculus of abstract programs on parametrized abstract data types. It develops a special kind of partiality - the equational partiality - both as a sound formal basis for algebraic specifications with partial operations, and as a proper generalization of universal algebra from total algebras to partial ones. The book extends the modeltheoretic initial semantics of abstract data types with partial operations to behavioural semantics. Postgraduate and third year mathematicians (algebraists particularly) and computer scientists (courses on 'Formal Models in Programming').
"synopsis" may belong to another edition of this title.
- PublisherClarendon Press
- Publication date1987
- ISBN 10 0198538065
- ISBN 13 9780198538066
- BindingHardcover
- LanguageEnglish
- Number of pages220
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
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
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 (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