Εμφανίζονται 61 - 63 Αποτελέσματα από 63 για την αναζήτηση '"Software program verification."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 61
  2. 62

    Heuristic-guided counterexample search in FLAVERS. ανά Tan, Jianbin

    Τόπος έκδοσης Software engineering notes.
    Άρθρο
  3. 63

    Interval arithmetic From principles to implementation. ανά Hickey, T.

    Τόπος έκδοσης Journal of the ACM
    Άρθρο

Εργαλεία αναζήτησης: