The Object-Z Specification Language (Advances in Formal Methods)
by
Graeme Smith
Hardcover
details (
USA
).
ISBN: 978-0-7923-8684-1
ISBN-10: 0-7923-8684-1
Springer
· 1999
