Formal Object Oriented Specification Using Object-Z

by

Write The First Customer Review
Formal Object Oriented Specification Using Object-Z - Rose, Gordon
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general ...

Formal Object Oriented Specification Using Object-Z 2000, Palgrave Macmillan, Basingstoke

ISBN-13: 9780333801239

Paperback

Select