The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science)

by J. M. Spivey

Paperback

details (USA).

ISBN: 978-0-13-978529-0

ISBN-10: 0-13-978529-9

Prentice Hall · 1992