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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata