Showing 1 - 20 results of 44 for search 'Broy, M.', query time: 0.06s Refine Results
  1. 1
    Engineering Dependable Software Systems.

    Engineering Dependable Software Systems. by Broy, M.

    Published 2013
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  2. 2
    Specification and development of interactive systems : FOCUS on streams, interfaces, and refinement /

    Specification and development of interactive systems : FOCUS on streams, interfaces, and refinement / by Broy, M., 1949-

    Published 2001
    Book
    Save to List
    Saved in:
  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.

    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
    Save to List
    Saved in:
  4. 4
    Model-based testing of reactive systems : advanced lectures /

    Model-based testing of reactive systems : advanced lectures /

    Published 2005
    Other Authors: “…Broy, M., 1949-…”
    Book
    Save to List
    Saved in:
  5. 5
    Engineering theories of software intensive systems /

    Engineering theories of software intensive systems /

    Published 2005
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] /

    Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] /

    Published 1987
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  7. 7
    Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] /

    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
    Save to List
    Saved in:
  8. 8
    Programming and mathematical method /

    Programming and mathematical method /

    Published 1992
    Other Authors: “…Broy, M., 1949-…”
    Book
    Save to List
    Saved in:
  9. 9
    Model-based testing of reactive systems : advanced lectures /

    Model-based testing of reactive systems : advanced lectures /

    Published 2005
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  10. 10
    Model-based testing of reactive systems advanced lectures /

    Model-based testing of reactive systems advanced lectures /

    Published 2005
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Engineering theories of software intensive systems

    Engineering theories of software intensive systems

    Published 2005
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Program design calculi

    Program design calculi

    Published 1993
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /

    Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /

    Published 1998
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Internet Archive)
    Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    KORSO : methods, languages, and tools for the construction of correct software : final report /

    KORSO : methods, languages, and tools for the construction of correct software : final report /

    Published 1995
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  15. 15
    Software pioneers : contributions to software engineering /

    Software pioneers : contributions to software engineering /

    Published 2002
    Other Authors: “…Broy, M., 1949-…”
    Video DVD
    Save to List
    Saved in:
  16. 16
    Mathematical methods in program development /

    Mathematical methods in program development /

    Published 1997
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  17. 17
    KORSO : methods, languages, and tools for the construction of correct software : final report /

    KORSO : methods, languages, and tools for the construction of correct software : final report /

    Published 1995
    Other Authors: “…Broy, M., 1949-…”
    Book
    Save to List
    Saved in:
  18. 18
    Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /

    Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /

    Published 1998
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  19. 19
    Requirements targeting software and systems engineering International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /

    Requirements targeting software and systems engineering International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /

    Published 1998
    Other Authors: “…Broy, M., 1949-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /

    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /

    Published 1982
    Other Authors: “…Broy, M., 1949-…”
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search