Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση 'Baber, Robert Laurence', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /
    Βιβλίο
    ανά Baber, Robert Laurence
    Έκδοση 1988
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email