Computer software - Mathematical models.

Behavioural modelsfrom modelling finite automata to analysing business processes / by: (Electronic resources)

Modeling companion for software practitioners by: (Electronic resources)

Software Engineering.

Business Process Management.

Mathematical Logic and Formal Languages.

Systems engineering

Computer software

Computation by Abstract Devices.

Software engineering.

Computer Science.

Simulation and Modeling.