Petri Net Synthese: 2015 (Texte in Theoretical Computer Science: An EATCS
113,59 €
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. His research interests include concurrency and Petri nets.
Jetzt bei Ebay: