pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XII
Format: Paperback

List price: £74.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3662558610
ISBN 13: 9783662558614
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 17 October, 2017
Edition: 1st ed. 2017
Series: Lecture Notes in Computer Science
Description: 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.
Synopsis: 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.
Illustrations: Approx. 225 p.
Returns: Returnable
Some other items by this author:
ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA (HB)
ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA (PB)
APPLICATION AND THEORY OF PETRI NETS (PB)
APPLICATIONS AND THEORY OF PETRI NETS (PB)
APPLICATIONS AND THEORY OF PETRI NETS 2001 (PB)
CONCUR 2012- CONCURRENCY THEORY (PB)
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (PB)
PARADIGMS OF CONCURRENCY (HB)
PETRI NET ALGEBRA (HB)
PETRI NET ALGEBRA (PB)
PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007 (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY IV (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY IX (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY V (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VIII (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY X (PB)
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI (PB)



Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket