CURRENTLY SOLD OUT

ZB 2000: Formal Specification and Development in Z and B by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2000)