Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)
by:
Ben Potter
·
Jane Sinclair
·
David Till
Paperback
details (
USA
).
ISBN: 978-0-13-478702-2
ISBN-10: 0-13-478702-1
Prentice Hall
· 1991