Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Formal Object Oriented Specification Using Object-Z, Paperback / softback Book

Formal Object Oriented Specification Using Object-Z Paperback / softback

Part of the Cornerstones of Computing series

Paperback / softback

Item not Available

Description

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 system description. A practical and rigorous approach to object-oriented formal specification.

Introduces Object-Z. Illustrates the key role of formal specification in formal verification by inclusion of example proofs of correctness.

Information

Save 5%

£68.99

£64.99

Item not Available
Item not Available
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Cornerstones of Computing series

Operating Systems with Linux

£74.99

Add to Basket