Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Studibuch, Stuttgart, Deutschland
hardcover. Zustand: Sehr gut. 351 Seiten; 9783540542803.2 Gewicht in Gramm: 1.
Zustand: New. pp. 356.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 151,79
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 356 pages. 9.50x6.60x0.90 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642767737 ISBN 13: 9783642767739
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix completion procedure and termination proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications. The book is self-contained and suitable both as a textbook for graduate courses and as a reference for researchers.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 163,17
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Anbieter: Bay State Book Company, North Smithfield, RI, USA
Zustand: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 86,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 3642767737 ISBN 13: 9783642767739
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix completion procedure and termination proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications. The book is self-contained and suitable both as a textbook for graduate courses and as a reference for researchers. 356 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642767737 ISBN 13: 9783642767739
Anbieter: moluna, Greven, Deutschland
EUR 89,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer scien.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 150,05
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 356 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 356.
Sprache: Englisch
Verlag: Springer, Springer Gabler Aug 2012, 2012
ISBN 10: 3642767737 ISBN 13: 9783642767739
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A new model-theoretic approach to universal algebra for computer scientists is offered in this book. The approach covers algebraic characterization, term rewriting systems, and fixpoint methods. The book is self-contained and suitable both as a graduate text and as a reference for researchers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.