Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση 'Hailpern, Brent T. 1955- ((Brent Tzion))', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verifying concurrent processes using temporal logic
    ανά Hailpern, Brent T. 1955- ((Brent Tzion))
    Έκδοση 1982
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email