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

Marketplace Prices
Used from $147.72

Used
$147.72

Item Details
Condition: Good
Provider: Bonita Contact
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

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]