Z: A Beginner's Guide (Tutorial Guides in Computing and Information Systems)
Description:
Aimed primarily at first year students studying for degrees and HNDs in computing, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on practical application of this language to the modelling, specification and implementation of systems.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.