Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods)
by:
Joseph A. Goguen
·
Grant Malcolm
Hardcover
details (
USA
).
ISBN: 978-0-7923-7757-3
ISBN-10: 0-7923-7757-5
Springer
· 2000
