Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

類似資料

• Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
  出版事項: (1993)
• Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /
  出版事項: (1995)
• Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 /
  出版事項: (1979)
• Formal languages /
  著者:: Salomaa, Arto
  出版事項: (1973)
• Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
  出版事項: (1976)