ISBN: 9783540085317 - computing in systems described by equations: 58 (10 risultati)

Condizione: 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.…

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condizione: Good. 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.…

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: 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.…

Condizione: New.

Condizione: New. 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.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condizione: 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. …