Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Olderog, Ernst-Rüdiger', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verification of Sequential and Concurrent Programs
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Olderog, Ernst-Rüdiger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Correct System Design Recent Insights and Advances /
    Έκδοση 1999
    Άλλοι συγγραφείς: “…Olderog, Ernst-Rüdiger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Provably Correct Systems
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Olderog, Ernst-Rüdiger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
    Άλλοι συγγραφείς: “…Olderog, Ernst-Rudiger…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email