1772489
9781852332471
Out of Stock
The item you're looking for is currently unavailable.
This text is intended to help students or engineers who want an introduction to formal techniques, as well as practitioners who wish to broaden their knowledge of the subject. It aims to provide a synthetic view of the logical foundations of such techniques, with an emphasis on intuitive ideas.Monin, J. F. is the author of 'Understanding Formal Methods', published 0008 under ISBN 9781852332471 and ISBN 1852332476.
[read more]