Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /

類似資料

• Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
  著者:: Turner, Kenneth J.
  出版事項: (1993)
• The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
  著者:: Eijk, Peter H.J. van
  出版事項: (1989)
• Creating Components : Object Oriented, Concurrent, and Distributed Computing in Java /
  著者:: Kann, Charles W.
  出版事項: (2004)
• Java P2P Unleashed /
  出版事項: (2003)
• Programming in the .NET Environment /
  著者:: Watkins, Damien
  出版事項: (2003)