Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 20 Αποτελέσματα από 152 για την αναζήτηση '', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Systems and software verification : model-checking techniques and tools /
    ανά Berard, B.
    Έκδοση 2001
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Software verification and validation for practitioners and managers /
    ανά Rakitin, Steven R.
    Έκδοση 2001
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Formal equivalence checking and design debugging /
    ανά Huang, Shi-Yu
    Έκδοση 1998
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Verification of computer codes in computational science and engineering /
    ανά Knupp, Patrick
    Έκδοση 2003
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Computer science logic /
    Έκδοση 2000
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    Computer aided verification /
    Έκδοση 2000
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Toward zero-defect programming /
    ανά Stavely, Allan M.
    Έκδοση 1999
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Verification and validation in scientific computing /
    ανά Oberkampf, William L.
    Έκδοση 2010
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Nuclear test ban : converting political visions to reality /
    ανά Dahlman, Ola
    Έκδοση 2009
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Principles of model checking /
    ανά Baier, Christel
    Έκδοση 2008
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    Verification and validation of 3D free-surface flow models /
    Έκδοση 2009
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    Reconfigurable system design and verification /
    ανά Hsiung, Pao-Ann
    Έκδοση 2009
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    The inverse method : parametric verification of real-time embedded systems /
    ανά Andre, Etienne
    Έκδοση 2012
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    Applied formal verification /
    ανά Perry, Douglas L.
    Έκδοση 2005
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  15. 15
    Verification and validation for quality of UML 2.0 models /
    ανά Unhelkar, Bhuvan
    Έκδοση 2005
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  16. 16
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
    ανά Yoeli, Michael, 1917-
    Έκδοση 2008
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  17. 17
    Writing testbenches : functional verification of HDL models /
    ανά Bergeron, Janick
    Έκδοση 2003
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  18. 18
    Guidance for the verification and validation of neural networks /
    ανά Pullum, Laura L.
    Έκδοση 2007
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  19. 19
    Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
    Έκδοση 2005
    SpringerLink
    Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  20. 20
    Verifying treaty compliance : limiting weapons of mass destruction and monitoring Kyoto protocol Provisions /
    Έκδοση 2006
    Click here to view the full text content
    Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email – Αποθήκευση αναζήτησης