1627767
9780521004015
An introduction to techniques for specifying the behaviour of software components, this text is 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.Tennent, R. D. is the author of 'Specifying Software A Hands-On Introduction' with ISBN 9780521004015 and ISBN 0521004012.
[read more]