Discounted rates at UK online stores

Modeling software behavior

Based on a graduate course taught by the author, this book provides an in-depth understanding of the expressive power of various models of system behaviour - Finite State Machines, Petri Nets etc. The text details two fundamental types of requirements specification models: those that describe structure and those that describe behaviour. A few years old but a good clear introduction to the subject. Dedication by the author on front fly.

£45.00