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

• Program verification /
  ανά: Francez, Nissim
  Έκδοση: (1992)
• Verification and validation of 3D free-surface flow models /
  Έκδοση: (2009)
• Writing testbenches : functional verification of HDL models /
  ανά: Bergeron, Janick
  Έκδοση: (1990)
• Verification and validation in computational science and engineering /
  ανά: Roache, Patrick J.
  Έκδοση: (1998)
• Scientific computation with automatic result verification /
  Έκδοση: (1988)