Maciej Koutny & Lars Michael Kristensen 
Transactions on Petri Nets and Other Models of Concurrency XIII [EPUB ebook] 

Support

The 13th volume of To PNo C contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.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: fault-tolerance, 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.

€57.61
méthodes de payement
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format EPUB ● ISBN 9783662583814 ● Éditeur Maciej Koutny & Lars Michael Kristensen ● Maison d’édition Springer Berlin Heidelberg ● Publié 2018 ● Téléchargeable 3 fois ● Devise EUR ● ID 6788951 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

50 053 Ebooks dans cette catégorie