Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 59.16
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Published by Springer, 1990
Seller: mountain, GEORGETOWN, CO, U.S.A.
paperback. Condition: Good. exlibrary book rebound to a hardcover, usual library markings and stickers, light wear to cover and pages;
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.48
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
US$ 66.40
Convert currencyQuantity: 10 available
Add to basketPF. Condition: New.
Condition: New. pp. 184.
Published by Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990
ISBN 10: 3540530312 ISBN 13: 9783540530312
Language: English
Seller: NEPO UG, Rüsselsheim am Main, Germany
US$ 61.36
Convert currencyQuantity: 1 available
Add to basketkart. Condition: Gut. XII, 164 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 Sprache: Englisch Gewicht in Gramm: 550.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1990, 1990
ISBN 10: 3540530312 ISBN 13: 9783540530312
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 64.47
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic concepts. Chapter 2 gives a straight path to Ochmanski's characterization of recognizable trace languages and to Zielonka's theory of asynchronous automata. Chapter 3 applies the theory of traces to Petri nets. A kind of morphism between nets is introduced which generalizes the concept of synchronization. Chapter 4 provides a new bridge between the theory of string rewriting and formal power series. Chapter 5 is an introduction to a combinatorial theory of rewriting on traces which can be used as an abstract calculus for transforming concurrent processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540530312 ISBN 13: 9783540530312
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 64.47
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic concepts. Chapter 2 gives a straight path to Ochmanski's characterization of recognizable trace languages and to Zielonka's theory of asynchronous automata. Chapter 3 applies the theory of traces to Petri nets. A kind of morphism between nets is introduced which generalizes the concept of synchronization. Chapter 4 provides a new bridge between the theory of string rewriting and formal power series. Chapter 5 is an introduction to a combinatorial theory of rewriting on traces which can be used as an abstract calculus for transforming concurrent processes.
Published by Springer 1990, 1990
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
US$ 59.07
Convert currencyQuantity: 1 available
Add to basketSoftcover Sehr gut erhalten.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 136.62
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Published by Springer Berlin Heidelberg Sep 1990, 1990
ISBN 10: 3540530312 ISBN 13: 9783540530312
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
US$ 64.47
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic concepts. Chapter 2 gives a straight path to Ochmanski's characterization of recognizable trace languages and to Zielonka's theory of asynchronous automata. Chapter 3 applies the theory of traces to Petri nets. A kind of morphism between nets is introduced which generalizes the concept of synchronization. Chapter 4 provides a new bridge between the theory of string rewriting and formal power series. Chapter 5 is an introduction to a combinatorial theory of rewriting on traces which can be used as an abstract calculus for transforming concurrent processes. 184 pp. Englisch.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 85.89
Convert currencyQuantity: 4 available
Add to basketCondition: New. Print on Demand pp. 184 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Seller: Biblios, Frankfurt am main, HESSE, Germany
US$ 94.39
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 184.
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540530312 ISBN 13: 9783540530312
Language: English
Seller: moluna, Greven, Germany
US$ 58.31
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents a comprehensive study of Mazurkiewicz trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume contains various n.