PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings - Couverture souple

De Bakker, Jacobus W.; Treleaven, Philip C.; Nijman, A.J.

9783540179450: PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

Couverture souple

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 35,55

11 Neuf

De EUR 55,35

D�tails de l'�dition

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540179453
ISBN 13: 9783540179450
Reliure: Broch�
Nombre de pages: 484
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

R�sultats de recherche pour PARLE Parallel Architectures and Languages Europe:...

Image d'archives

PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science)

Bakker, Jacobus W. de [Editor]; Nijman, A.J. [Editor]; Treleaven, Philip C. [Editor];

Edit� par Springer, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N� de r�f. du vendeur DA1411444

Contacter le vendeur

Acheter D'occasion

EUR 35,55

Frais de port : EUR 6,07

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science, 259)

De Bakker, Jacobus W.; Treleaven, Philip C.; Nijman, A.J.

Edit� par Springer, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540179450_new

Contacter le vendeur

Acheter neuf

EUR 55,35

Frais de port : EUR 13,66

De Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science, 259)

De Bakker, Jacobus W.; Treleaven, Philip C.; Nijman, A.J.

Edit� par Springer, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020161557

Contacter le vendeur

Acheter neuf

EUR 67,53

Frais de port : EUR 3,46

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

Bakker, Jacobus W. de

Edit� par Springer 1987-05, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540179450

Contacter le vendeur

Acheter neuf

EUR 53,76

Frais de port : EUR 17,66

De Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

PARLE Parallel Architectures and Languages Europe

Jacobus W. De Bakker

Edit� par Springer Berlin Heidelberg Mai 1987, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1. 484 pp. Englisch. N� de r�f. du vendeur 9783540179450

Contacter le vendeur

Acheter neuf

EUR 50,28

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

PARLE Parallel Architectures and Languages Europe

Bakker, Jacobus W. de|Nijman, A. J.|Treleaven, Philip C.

Edit� par Springer Berlin Heidelberg, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence f. N� de r�f. du vendeur 4883597

Contacter le vendeur

Acheter neuf

EUR 45,74

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

PARLE Parallel Architectures and Languages Europe

Jacobus W. De Bakker

Edit� par Springer Berlin Heidelberg, J.B. Metzler Mai 1987, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch. N� de r�f. du vendeur 9783540179450

Contacter le vendeur

Acheter neuf

EUR 50,28

Frais de port : EUR 60

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

Jacobus W. De Bakker

Edit� par Springer Berlin Heidelberg, 1987

ISBN 10 : 3540179453 ISBN 13 : 9783540179450

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1. N� de r�f. du vendeur 9783540179450

Contacter le vendeur