1 Introduction.- 2 Discrete Dynamic Systems.- 3 Sequential Systems.- 4 Concurrent Systems.- 5 Business Process Models.- 6 State Spaces.- 7 Comparing Behaviour.- 8 Verification.- References.- Index.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.