Articoli correlati a Initial Computability Algebraic Specifications and...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Reichel Horst
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreClarendon Pr
- Data di pubblicazione1987
- ISBN 10 0198538065
- ISBN 13 9780198538066
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine220
- Contatto del produttorenon disponibile
Risultati della ricerca per Initial Computability Algebraic Specifications and...
Foto dell'editore
Initial Computability, Algebraic Specifications, and Partial Algebras
Editore:
Oxford University Press, Incorporated, 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo GRP93017864
Quantità: 1 disponibili
Foto dell'editore
Initial Computability Algebraic Specifications and Partial Algebras
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo E-627-475
Quantità: 1 disponibili
Foto dell'editore
Initial Computability Algebraic Specifications and Partial Algebras (International Series of Monographs on Computer Science)
Editore:
Clarendon Press 03.12.1987., 1987
ISBN 10: 0198538065
ISBN 13: 9780198538066
Antico o usato
Rilegato
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 368207
Quantità: 1 disponibili