Manfred Broy

Manfred Broy in 2004 Manfred Broy (born 10 August 1949) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany. Provided by Wikipedia
Showing 1 - 15 results of 15 for search 'Broy, Manfred', query time: 0.13s Refine Results
  1. 1
    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, Manfred

    Published 2001
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    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 / by Broy, Manfred

    Published 1982
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  3. 3
    Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /

    Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare / by Broy, Manfred

    Published 1989
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Software Pioneers : Contributions to Software Engineering /

    Software Pioneers : Contributions to Software Engineering / by Broy, Manfred

    Published 2002
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /

    Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare / by Broy, Manfred

    Published 1987
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  6. 6
    Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions /

    Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions / by Broy, Manfred

    Published 2001
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  7. 7
    Programming and Mathematical Method : International Summer School /

    Programming and Mathematical Method : International Summer School / by Broy, Manfred

    Published 1992
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  8. 8
    Mathematical Methods in Program Development /

    Mathematical Methods in Program Development / by Broy, Manfred

    Published 1997
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  9. 9
    Control Flow and Data Flow: Concepts of Distributed Programming International Summer School /

    Control Flow and Data Flow: Concepts of Distributed Programming International Summer School / by Broy, Manfred

    Published 1985
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    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, Manfred…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Models, algebras and logic of engineering software /

    Models, algebras and logic of engineering software /

    Published 2003
    Other Authors: “…Broy, Manfred…”
    Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings /

    Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Bjorner, Dines

    Published 1993
    Other Authors: “…Broy, Manfred…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  13. 13
    Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings /

    Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Bjorner, Dines

    Published 1993
    Other Authors: “…Broy, Manfred…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  14. 14
    Advanced model-based engineering of embedded systems : extensions of the SPES 2020 methodology /

    Advanced model-based engineering of embedded systems : extensions of the SPES 2020 methodology /

    Published 2016
    Other Authors:
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  15. 15
    Model-based engineering of collaborative embedded systems extensions of the SPES methodology /

    Model-based engineering of collaborative embedded systems extensions of the SPES methodology /

    Published 2021
    Other Authors:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search