Specification and Validation Methods (International Schools for Computer Scientists)
by
Egon Borger
Hardcover
details (
UK
).
ISBN: 978-0-19-853854-7
ISBN-10: 0-19-853854-5
Clarendon Press
· 1995