Description

Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.Formal Specification Using Z is an introductory book intended for t...

Read more