책 이미지
eBook 미리보기
책 정보
· 제목 : Behavioural Models: From Modelling Finite Automata to Analysing Business Processes (Paperback, Softcover Repri)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319831725
· 쪽수 : 279쪽
· 출판일 : 2018-06-15
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319831725
· 쪽수 : 279쪽
· 출판일 : 2018-06-15
목차
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.
