First Page | Document Content | |
---|---|---|
![]() Date: 2005-09-12 10:45:09Formal methods Logic in computer science Business process modeling Conceptual model Modeling language Semantics Abstraction Operations research Computing Event-driven process chain | Add to Reading List |