Formal System Specification and Implementation Using Z - Prentice Hall International Series in Computing Science

At Pearson, we believe in learning - all kinds of learning for all kinds of people. Whether it's at home, at university or in the workplace, learning is the key to improving our life chances.Aiming higher With a range of Higher Education learning solutions, everything we publish - from textbooks to eLearning programmes - is designed to help students learn and achieve success. We offer products in a variety of formats because we recognise that all learners do not learn in the same way.Our eLearning and Assessment solutions, MyLab and Mastering, offer personalised study paths, customised teaching resources and powerful results reporting. Our goal is to save educators time and improve students' learning, understanding and grades. A lifetime of learning Whether it's with an idea that opens new doors, a technique that solves a problem, or simply a new perspective that helps make sense of it all, our professional and consumer learning books do more to help people make progress in their business, their work and their lives.Our award-winning products bring together the latest thinking and the best practices from the best minds in the business - and help professionals to excel and people everywhere to achieve more.The result, Learning that lasts a lifetime.

Read more