Formal Specification Using Z: A Modelling Approach
Leonardo Bottaci, John L. Jones · 1996
Models and model building A first example of modelling and specification in Z Logic Sets Relations A closer look at Z Functions Extended example: hiring sports equipment Sequences Bags Extended example: photocopier Specification and formal methods Solutions to exercises Index of symbols.