Lets Explore,

Formal Object Oriented Specification Using Object-Z: (Cornerstones of Computing)

(Paperback)

Roger Duke, Gordon Rose,

Bloomsbury Publishing PLC (Publisher)

Published

2000

Reviews

Computing and Information Technology Computer programming / software engineering Object-oriented programming (OOP)

By: Roger Duke, Gordon Rose | Publisher: Bloomsbury Publishing PLC | Released: 06 Jun 2000

Ships within 2-4 days

Out Of Stock

₹5578.00

₹8712.00

36% off

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.

More books by Roger Duke, Gordon Rose

Formal Object Oriented Specification Using Object-Z

Roger Duke

₹8712.0₹5746.28

Similar Products

The Object-Z Specification Language

Graeme Smith (DEPARTMENT OF NURSING STUDIES, UNIVERSITY OF EDINBURGH University of Sydney, Australia DEPARTMENT OF NURSING STUDIES, UNIVERSITY OF EDINBURGH DEPARTMENT OF NURSING STUDIES, UNIVERSITY OF EDINBURGH DEPARTMENT OF NURSING STUDIES, UNIVERSITY OF

₹2201.45₹2135.41