Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer, 1986
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Buch
Paperback. Zustand: Good. Ex-library paperback in good condition with the usual markings and attachments. Pages tanned from age. Text block clean and unmarked. Tight binding.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Buch
Paperback. Zustand: Very Good. Very Good paperback with light shelfwear - NICE! Standard-sized.
Verlag: Springer, 2008
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Buch
1985. 436 p. Good condition. Reading pages are slightly yellowed, but they are very clean and without marks. Minimal traces of storage or use. Otherwise very good exemplar. 9783540151982 Sprache: Englisch Gewicht in Gramm: 658 Softcover: 15.5 x 2.5 x 23.5 cm.
Verlag: Springer, 2008
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
Buch
Zustand: Gut. 1985. 436 Seiten Gedunkelt. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 658 Taschenbuch, Größe: 15.5 x 2.5 x 23.5 cm.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer 1985-03, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Buch
PF. Zustand: New.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer Berlin Heidelberg Mrz 1985, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 436 pp. Englisch.
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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.
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: moluna, Greven, Deutschland
Buch Print-on-Demand
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 func.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Books Puddle, New York, NY, USA
Buch
Zustand: New. pp. 436.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. Print on Demand pp. 436 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Verlag: Springer, 1985
ISBN 10: 3540151982ISBN 13: 9783540151982
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Buch
Paperback. Zustand: Very Good. Very Good. book.