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). details (United States). ISBN: 978-0-412-79490-2 ISBN-10: 0-412-79490-X Springer · 1996