Παρόμοια τεκμήρια

• The formal description technique Lotos : : results of the ESPRIT/SEDOS project /
  Έκδοση: (1989)
• Using formal description techniques : an introduction to Estelle,LOTOS, and SDL /
  Έκδοση: (1993)
• Formal description techniques : : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
  Έκδοση: (1989)
• Formal methods for embedded distributed systems : how to master the complexity /
  Έκδοση: (2004)
• ESPRIT '86 : results and achievements /
  Έκδοση: (1987)