Podobné jednotky

• Software verification and validation : realistic project approaches /
  Autor: Deutsch, Michael S.
  Vydáno: (1982)
• Formal specification : techniques and applications /
  Autor: Nissanke, Nimal
  Vydáno: (1999)
• Formal specification and design /
  Autor: Feijs, L. M. G. 1954-, a další
  Vydáno: (1992)
• Program Specification and Transformation /
  Vydáno: (1987)
• Simulation validation a confidence assessment methodology /
  Autor: Knepell, Peter L., a další
  Vydáno: (1993)