Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Academic Press international series in formal methods"', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Teaching and learning formal methods
    Έκδοση 1996
    “…Academic Press international series in formal methods…”
    Βιβλίο
  2. 2
    A computational logic handbook
    ανά Boyer, Robert, Moore, J. Strother
    Έκδοση 1998
    “…Academic Press International Series in Formal Methods / Micahel G. Hinchey…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email