Introduction Formal Specification And Z (2nd Edition)
by:
Ben Potter
·
Jane Sinclair
·
David Till
Paperback
details (
USA
).
ISBN: 978-0-13-242207-9
ISBN-10: 0-13-242207-7
Prentice Hall
· 1996