Showing 1 - 9 results of 9 for search 'Broy, M., 1949-', query time: 0.19s Refine Results
  1. 1
    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
    by Broy, M., 1949-
    Published 2005
    Get full text
    Electronic Kit Book
  2. 2
    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.
    Published 1985
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  3. 3
    Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] /
    Published 1989
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  4. 4
    Programming and mathematical method /
    Published 1992
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  5. 5
    Deductive program design /
    Published 1996
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  6. 6
    Logic of programming and calculi of discrete design /
    Published 1987
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  7. 7
    Program design calculi /
    Published 1993
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  8. 8
    Mathematical methods in program development /
    Published 1997
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
  9. 9
    Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
    Other Authors: “…Broy, M., 1949-…”
    Book
Search Tools: RSS Feed – Email Search