Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Computing in Systems Described by Equations (Lecture...
Stock Image
Computing in Systems Described by Equations
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 621931
Stock Image
Computing in Systems Described by Equations (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1421474
Stock Image
Computing in Systems Described by Equations (Lecture Notes In Computer Science 58)
Published by
Springer-Verlag, Berlin, 1977
ISBN 10: 3540085319
ISBN 13: 9783540085317
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Dust Jacket Condition: 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. Seller Inventory # 094656
Buy Used
US$ 9.21
US$ 16.66 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540085317_new
Buy New
US$ 17.02
US$ 15.97 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Computing in Systems Described by Equations
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540085317
Buy New
US$ 13.79
US$ 20.65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Computing in Systems Described by Equations
Published by
Springer Berlin Heidelberg, 1977
ISBN 10: 3540085319
ISBN 13: 9783540085317
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4880066
Buy New
US$ 16.11
US$ 56.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Computing in Systems Described by Equations
Published by
Springer Berlin Heidelberg, 1977
ISBN 10: 3540085319
ISBN 13: 9783540085317
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540085317
Buy New
US$ 12.80
US$ 73.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Computing in Systems Described by Equations
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 101943434
Buy New
US$ 14.42
US$ 81.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available