by Feijs, L. M. G., Jonkers, H. B. M., van Rijsbergen, C. J.

Out of Stock

The item you're looking for is currently unavailable.

ISBN-13: 9780521434577
ISBN: 0521434572
Publisher: Cambridge University Press

AUTHOR

Feijs, L. M. G., Jonkers, H. B. M., van Rijsbergen, C. J.

SUMMARY

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design. Software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.Feijs, L. M. G. is the author of 'Formal Specification and Design' with ISBN 9780521434577 and ISBN 0521434572.

[read more]