Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Paperback. Condición: 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. Nº de ref. del artículo: UTD1421474
Cantidad disponible: 1 disponibles
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Condición: 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. Nº de ref. del artículo: 2808765-6
Cantidad disponible: 1 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
PF. Condición: 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. Nº de ref. del artículo: 6666-IUK-9783540085317
Cantidad disponible: 20 disponibles
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Paperback. Condición: Good. Estado de la sobrecubierta: 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. Nº de ref. del artículo: 094656
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5907845
Cantidad disponible: 15 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783540085317
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 5907845-n
Cantidad disponible: 15 disponibles
Librería: moluna, Greven, Alemania
Condición: 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. Nº de ref. del artículo: 4880066
Cantidad disponible: 1 disponibles
Librería: preigu, Osnabrück, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 101943434
Cantidad disponible: 1 disponibles