Formal Description Techniques IX
Subtitle: Theory, application and tools (IFIP International Federation for Information Processing)
Contributors: R. Gotzhein (Editor); J. Bredereke (Editor)
Publisher: Springer
Published: September 30, 1996
Language: eng
Number of pages: 560
ISBN-13: 9780412794902