Langue: anglais
Edité par Elsevier Science Publishing Co Inc.,U.S., 1974
ISBN 10 : 072042819X ISBN 13 : 9780720428193
Vendeur : Anybook.com, Lincoln, Royaume-Uni
EUR 13,57
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Katsumi-san Co., Cambridge, MA, Etats-Unis
Edition originale
EUR 34,72
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. 1st Edition. x, 274, [2] p. [br 29].
Langue: anglais
Edité par London ; New York : John Wiley & Sons, 1971
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Membre d'association : GIAQ
EUR 22
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Gut. ix ; 241 p. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 530.
Langue: anglais
Edité par London / New York, John Wiley & Sons Ltd. .1971., 1971
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Membre d'association : GIAQ
EUR 24
Quantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Gut. 241 p., with figures, Good condition. Library copy with usual marks. Sprache: Englisch Gewicht in Gramm: 580.
Langue: anglais
Edité par Springer Berlin Heidelberg, 1985
ISBN 10 : 3540151982 ISBN 13 : 9783540151982
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 42,79
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Langue: anglais
Edité par North-Holland Pub. Co.American Elsevier Pub. Co., 1974
ISBN 10 : 044410741X ISBN 13 : 9780444107411
Vendeur : Buchpark, Trebbin, Allemagne
EUR 40,50
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 280,72
Quantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 45
Quantité disponible : 1 disponible(s)
Ajouter au panierNorth-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).
Vendeur : preigu, Osnabrück, Allemagne
EUR 41,15
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 | Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) | Hartmut Ehrig (u. a.) | Taschenbuch | xviii | Englisch | 1985 | Springer | EAN 9783540151982 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.