An innovative hands-on introduction to techniques for specifying the behaviour of software components, this text is primarily intended for use as part of a cour... » 

An innovative hands-on introduction to techniques for specifying the behaviour of software components, this text is primarily intended for use as part of a course in the 2nd or 3rd year of Computer Science and Computer Engineering programmes, but it is also suitable for self-study. «