Aimed primarily at first year students studying for degrees and HNDs in computing, second year students and others interested in more advanced aspects of the subject, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on the practical application of this language to the modelling, specification and implementation of systems. Various case studies are explored and their specifications explained. The book aims to be "student-friendly", with many examples and a full set of exercises and answers for each chapter.
- ISBN10 041255660X
- ISBN13 9780412556609
- Publish Date July 1994
- Publish Status Out of Print
- Out of Print 20 October 2009
- Publish Country GB
- Imprint Cengage Learning EMEA
- Format Paperback
- Pages 208
- Language English