Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: NEW.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg Sep 2016, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
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 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 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, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets. 340 pp. Englisch.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: NEW. 340 pages. 9.30x6.20x0.77 inches. In Stock.
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: Buchschnitt verkürzt. | Seiten: 340 | Sprache: Englisch | Produktart: Bücher.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW. Editor(s): Koutny, Maciej; Desel, Jorg; Kleijn, Jetty. Series: Lecture Notes in Computer Science. Num Pages: 337 pages, 103 black & white illustrations, biography. BIC Classification: UMA; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522. . 2016. annotated ed. Paperback. . . . .
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 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, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: NEW. Editor(s): Koutny, Maciej; Desel, Jorg; Kleijn, Jetty. Series: Lecture Notes in Computer Science. Num Pages: 337 pages, 103 black & white illustrations, biography. BIC Classification: UMA; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522. . 2016. annotated ed. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
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 selected papers from the workshops held at Petri Nets 2015 and ACSD 2014Topics covered include model checking and system verification, refinement, and synthesis and Petri nets and their applications.
Published by Springer 2016-09, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: NEW.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: USED_ASNEW. Unread book in perfect condition.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: dsmbooks, Liverpool, United Kingdom
Paperback. Condition: Like New. Like New. book.
Published by Springer, 2016
ISBN 10: 3662534002 ISBN 13: 9783662534007
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.