Verwandte Artikel zu Initial Computability, Algebraic Specifications and...
Initial Computability, Algebraic Specifications and Partial Algebras: 2 (International Series of Monographs on Computer Science) - Hardcover
Inhaltsangabe
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').
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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').
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagClarendon Press
- Erscheinungsdatum1987
- ISBN 10 0198538065
- ISBN 13 9780198538066
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten220
- Kontakt zum HerstellerNicht verfügbar
Suchergebnisse für Initial Computability, Algebraic Specifications and...
Beispielbild für diese ISBN
Initial Computability, Algebraic Specifications, and Partial Algebras
Verlag:
Oxford University Press, Incorporated, 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Gebraucht
Hardcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers GRP93017864
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Initial Computability Algebraic Specifications and Partial Algebras (International Series of Monographs on Computer Science)
Verlag:
Clarendon Press 03.12.1987., 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Gebraucht
Hardcover
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 368207
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Initial Computability Algebraic Specifications and Partial Algebras
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-627-475
Anzahl: 1 verfügbar