Blackwell UK
|
Z.
A Beginner's Guide
David Rann, etc., John Turner (Senior Lecturer, School of Computing, University of, Jenny Whitworth (Principal Lecturer and Research Director, School of
Turner, J.
ISBN: 9780412556609
Format: Paperback
Publisher: Cengage Learning
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. More
RRP £16.99
Availability:
Out of print
Buy used: 5 new & used available from £1.47
Wishlist:
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.
