Publicado por Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 18,83
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritokart. Condición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,55
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por Springer Berlin Heidelberg, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Springer Berlin Heidelberg, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 58,42
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Gut. 456 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.
Librería: Best Price, Torrance, CA, Estados Unidos de America
EUR 48,27
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,04
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 81,55
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1990 edition. 457 pages. 9.40x6.70x1.10 inches. In Stock.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 39,86
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 0387534792 Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,67
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer Berlin Heidelberg, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 48,37
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: 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 .
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1990, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Springer Berlin Heidelberg Nov 1990, 1990
ISBN 10: 3540534792 ISBN 13: 9783540534792
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 85,59
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 468 pp. Englisch.