Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer Berlin Heidelberg Sep 2017, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets. 236 pp. Englisch.
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 236 pages. 9.25x6.10x0.54 inches. In Stock.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2017. Paperback. . . . . .
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2017. Paperback. . . . . . Books ship from the US and Ireland.
Published by Springer Berlin Heidelberg, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2016 and ACSD 2016Covers topics including model checking, system verification and applications of Petri nets.
Published by Springer, 2017
ISBN 10: 3662558610 ISBN 13: 9783662558614
Seller: dsmbooks, Liverpool, United Kingdom
Paperback. Condition: New. New. book.