Program Specification and Transformation
by
L. G. L. T. Meertens
Hardcover
details (
USA
).
ISBN: 978-0-444-70223-4
ISBN-10: 0-444-70223-7
Elsevier Science Ltd
· 1987