Zustand: Good. 278 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Sprache: Englisch
Verlag: Springer, Heidelberg/New York, 1991
ISBN 10: 3540540601 ISBN 13: 9783540540601
Anbieter: Emile Kerssemakers ILAB, Heerlen, Niederlande
24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 210g.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 44,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: Good. 285 pp., paperback, ex library, spine and inner margins of covers worn, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,74
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,47
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, 'RTA 87', held in Bordeaux, France, May 1987.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Rewriting Techniques and Applications | Bordeaux, France, May 25-27, 1987. Proceedings | Pierre Lescanne | Taschenbuch | viii | Englisch | 1987 | Springer | EAN 9783540172208 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540540601 ISBN 13: 9783540540601
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 3540506675 ISBN 13: 9783540506676
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Algebraic System Specification and Development | A Survey and Annotated Bibliography | Michel Bidoit (u. a.) | Taschenbuch | xii | Englisch | 1991 | Springer | EAN 9783540540601 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Algebraic and Logic Programming | International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings | Jan Grabowski (u. a.) | Taschenbuch | ix | Englisch | 1989 | Springer | EAN 9783540506676 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 120,06
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 127,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 148,25
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: De Gruyter Art & Architecture, 1989
ISBN 10: 3112620259 ISBN 13: 9783112620250
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 147,90
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. reprint edition. 284 pages. 6.69x0.69x9.61 inches. In Stock.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - No detailed description available for 'Algebraic and Logic Programming'.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 220,32
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 1989. Hardcover. . . . . . Books ship from the US and Ireland.