Articles liés à CONCUR '95 Concurrency Theory: 6th International...
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings - Couverture souple
Synopsis
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour CONCUR '95 Concurrency Theory: 6th International...
Image d'archives
CONCUR '95: 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 - Proceedings (Lecture Notes in Computer Science 962)
Edité par
Springer-Verlag GmbH, Berlin, Germany, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Ancien ou d'occasion
Paperback
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 962, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used. N° de réf. du vendeur 043976
Acheter D'occasion
EUR 8,07
Expédition à EUR 14,58
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science, 962)
Edité par
Springer, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Ancien ou d'occasion
Couverture souple
Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00076850556
Acheter D'occasion
EUR 24,79
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
CONCUR '95 - Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 1995 - Proceedings
Edité par
Springer Berlin / Heidelberg, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 1995th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur GRP77571784
Acheter D'occasion
EUR 24,81
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Edité par
Springer-Verlag, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Ancien ou d'occasion
Paperback
Vendeur : George Cross Books, Lexington, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Reprint edition. Very Good/Wraps (34593) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 962 This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics. 547. N° de réf. du vendeur 34593
Acheter D'occasion
EUR 29,16
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science, 962)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540602187_new
Acheter neuf
EUR 61,03
Expédition à EUR 13,98
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
CONCUR 95 Concurrency Theory
Edité par
Springer Berlin Heidelberg, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR 95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed ful. N° de réf. du vendeur 4895153
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
CONCUR '95 Concurrency Theory
Edité par
Springer, Springer Sep 1995, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Neuf
Taschenbuch
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 -This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 564 pp. Englisch. N° de réf. du vendeur 9783540602187
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
CONCUR '95 Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Edité par
Springer Berlin Heidelberg, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
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 - This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics. N° de réf. du vendeur 9783540602187
Acheter neuf
EUR 53,49
Expédition à EUR 64,22
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
CONCUR '95 Concurrency Theory | 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. CONCUR '95 Concurrency Theory | 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings | Scott Smolka | Taschenbuch | xi | Englisch | 1995 | Springer | EAN 9783540602187 | 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 101942030
Acheter neuf
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
CONCUR '95 Concurrency Theory
Edité par
Springer Berlin Heidelberg Sep 1995, 1995
ISBN 10 : 3540602186
ISBN 13 : 9783540602187
Neuf
Taschenbuch
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 -This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics. 564 pp. Englisch. N° de réf. du vendeur 9783540602187
Acheter neuf
EUR 106,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)