Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58, Band 58) - Softcover
Inhaltsangabe
I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Computing in Systems Described by Equations (Lecture...
Beispielbild für diese ISBN
Computing in Systems Described by Equations
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Springer Verlag, 1977. Cover very faintly rubbed/bumped, very lightly age toned, corners faintly rubbed/bumped, spine ends very lightly rubbed, faintly bumped; edges very faintly bumped/soiled/ age toned; ghost erasures and previous owners inscription on Title page, previous owners stamp in black ink at top corner of Title and dedication pages and page 249, interior very lightly age toned throughout; binding tight, cover, edges, and interior intact and clean except as noted. paperback. Good. Bestandsnummer des Verkäufers 621931
Gebraucht kaufen
EUR 9,21
EUR 1,68 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computing in Systems Described by Equations (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers UTD1421474
Gebraucht kaufen
EUR 7,54
EUR 6,01 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computing in Systems Described by Equations (Lecture Notes In Computer Science 58)
Verlag:
Springer-Verlag, Berlin, 1977
ISBN 10: 3540085319
ISBN 13: 9783540085317
Gebraucht
Paperback
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 58; ex library. Sticker to front spine corner. Stamp on title page. Edge wear, small creases on the cover. Bumped spine foot; faintly bumped spine head and rubbed corners. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Bestandsnummer des Verkäufers 094656
Gebraucht kaufen
EUR 7,92
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540085317_new
Neu kaufen
EUR 14,64
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computing in Systems Described by Equations
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540085317
Neu kaufen
EUR 11,87
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
Computing in Systems Described by Equations
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of. Bestandsnummer des Verkäufers 4880066
Neu kaufen
EUR 13,46
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computing in Systems Described by Equations
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality. Bestandsnummer des Verkäufers 9783540085317
Neu kaufen
EUR 10,69
EUR 63,20 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Computing in Systems Described by Equations
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Computing in Systems Described by Equations | M. J. O'Donnell | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1977 | Springer | EAN 9783540085317 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 101943434
Neu kaufen
EUR 12,05
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar