Formal Object Oriented Specification Using Object-Z

By Gordon Rose and Roger Duke

This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0333801237
• ISBN13: 9780333801239
• Release Date: June 2000
• Publisher: Red Globe Press
• Length: 240 Pages