Librería: Better World Books: West, Reno, NV, Estados Unidos de America
EUR 3,74
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Used book that is in clean, average condition without any missing pages.
Publicado por Elsevier Science Publishing Co Inc.,U.S., 1974
ISBN 10: 072042819X ISBN 13: 9780720428193
Idioma: Inglés
Librería: Anybook.com, Lincoln, Reino Unido
EUR 13,59
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:072042819X.
Publicado por Springer Berlin Heidelberg, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 42,79
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- ¿Delayability¿ in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.
Publicado por North-Holland Pub. Co.American Elsevier Pub. Co., 1974
ISBN 10: 044410741X ISBN 13: 9780444107411
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 45,00
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Sonstiges.
Librería: Katsumi-san Co., Cambridge, MA, Estados Unidos de America
Original o primera edición
EUR 35,28
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 1st Edition. x, 274, [2] p. [br 29].
Librería: dsmbooks, Liverpool, Reino Unido
EUR 69,26
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Good. SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 45,00
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoNorth-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).