Tutorial Guides in Computing & Information Systems
1 total work
v. 2
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.