Εμφανίζονται 1 - 9 Αποτελέσματα από 9 για την αναζήτηση '', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
    Βιβλίο
  2. 2
    Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] /
    Έκδοση 1989
    Πρακτικό Συνεδρίου Βιβλίο
  3. 3
    Control flow and data flow : concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy.
    Έκδοση 1985
    Πρακτικό Συνεδρίου Βιβλίο
  4. 4
    Deductive program design /
    Έκδοση 1996
    Πρακτικό Συνεδρίου Βιβλίο
  5. 5
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
    ανά Broy, M., 1949-
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 6
    Logic of programming and calculi of discrete design /
    Έκδοση 1987
    Πρακτικό Συνεδρίου Βιβλίο
  7. 7
    Mathematical methods in program development /
    Έκδοση 1997
    Πρακτικό Συνεδρίου Βιβλίο
  8. 8
    Program design calculi /
    Έκδοση 1993
    Πρακτικό Συνεδρίου Βιβλίο
  9. 9
    Programming and mathematical method /
    Έκδοση 1992
    Πρακτικό Συνεδρίου Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email