Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)

by: Jim Woodcock · Jim Davies Paperback details (USA). details (Germany). (see also: Lehrbuch) ISBN: 978-0-13-948472-8 ISBN-10: 0-13-948472-8 Prentice Hall · 1996