Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)

by: D. Hogrefe · S. Leue Hardcover details (UK). ISBN: 978-0-412-64450-4 ISBN-10: 0-412-64450-9 Springer · 1995