Formal Description Techniques IX: Theory, application and tools: No. 9 (IFIP Advances in Information and Communication Technology)
by:
R. Gotzhein · J. Bredereke
Hardcover
details (
United Kingdom
).
ISBN: 978-0-412-79490-2
ISBN-10: 0-412-79490-X
Springer
· 1996
