ISBN 9780412732706 books & textbook
Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology)
von Bochmann, Gregor Dssouli, Rachida Rafiq, Omar
Springer /1996-01-31 Hardcover / 466 Pages
isbn-10: 041273270X / isbn-13: 9780412732706
