Semantics of Systems of Concurrent Processes (Paperback)

Irene Guessarian

ISBN 10: 3540534792 ISBN 13: 9783540534792
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1990
Neuf(s) Paperback

Vendeur AussieBookSeller, Truganina, VIC, Australie Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 22 juin 2007

A propos de cet article

Description :

Paperback. This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems. This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9783540534792

Signaler cet article

Synopsis :

This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Semantics of Systems of Concurrent Processes...
Éditeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Date d'édition : 1990
Reliure : Paperback
Etat : new

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Ancien ou d'occasion kart.

Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

kart. Etat : Gut. IV, 456 S. : graph. Darst. , 25 cm Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand, Literaturangaben. - Später zeitschr.-artige Reihe mit Stücktiteln. - Später auch angezeigt u.d.T.: Laboratoire d'Informatique Théorique et Programmation : . Spring school Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 183435

Contacter le vendeur

Acheter D'occasion

EUR 18,83
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Guessarian, Irene [Editor]
Edité par Springer, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Ancien ou d'occasion Paperback

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. 0387534792 Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur DA1411432

Contacter le vendeur

Acheter D'occasion

EUR 39,29
Expédition à EUR 5,90
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Guessarian, Irene
Edité par Springer Berlin Heidelberg, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates . N° de réf. du vendeur 4892793

Contacter le vendeur

Acheter neuf

EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Irene Guessarian
Edité par Springer, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Taschenbuch
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Semantics of Systems of Concurrent Processes | LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings | Irene Guessarian | Taschenbuch | v | Englisch | 1990 | Springer | EAN 9783540534792 | 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. N° de réf. du vendeur 102138469

Contacter le vendeur

Acheter neuf

EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Couverture souple

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020169644

Contacter le vendeur

Acheter neuf

EUR 52,16
Expédition à EUR 3,37
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Irene Guessarian
Edité par Springer Berlin Heidelberg, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems. N° de réf. du vendeur 9783540534792

Contacter le vendeur

Acheter neuf

EUR 53,49
Expédition à EUR 64,01
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Irene Guessarian
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch. N° de réf. du vendeur 9783540534792

Contacter le vendeur

Acheter neuf

EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Irene Guessarian
Edité par Springer 1990-11-28, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540534792

Contacter le vendeur

Acheter neuf

EUR 56,91
Expédition à EUR 17,88
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Guessarian:
Edité par Springer Berlin Heidelberg, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Ancien ou d'occasion Taschenbuch

Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Gut. 456 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969. N° de réf. du vendeur 269435

Contacter le vendeur

Acheter D'occasion

EUR 58,42
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1990
ISBN 10 : 3540534792 ISBN 13 : 9783540534792
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540534792_new

Contacter le vendeur

Acheter neuf

EUR 59
Expédition à EUR 13,83
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre