Ben Potter, David Till
ISBN 978-0-13-478702-2
We don't have any copies of An Introduction to Formal Specification and Z at the moment!
Please check back soon for more copies.