Showing 1 - 24 results of 24 for search 'Broy, Manfred', query time: 0.09s Narrow Search
  1. 1
    Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement
    by Broy, Manfred, Stølen, Ketil
    Published 2001
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Control Flow and Data Flow: Concepts of Distributed Programming International Summer School
    Published 1986
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Program Design Calculi
    Published 1993
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    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
    Published 1987
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Programming and Mathematical Method International Summer School
    Published 1992
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Constructive Methods in Computing Science International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
    Published 1989
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Software Pioneers Contributions to Software Engineering
    Published 2002
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  8. 8
    Pioneers and Their Contributions to Software Engineering sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions
    Published 2001
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  9. 9
    Requirements Targeting Software and Systems Engineering International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997
    Published 1998
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  10. 10
    Methods of Programming Selected Papers on the CIP-Project
    Published 1991
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  11. 11
    KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report
    Published 1995
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  12. 12
    Mathematical Methods in Program Development
    Published 1997
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  13. 13
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
    Published 2003
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  14. 14
    Formal Systems Specification The RPC-Memory Specification Case Study
    Published 1996
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  15. 15
    Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
    Published 2008
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  16. 16
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
    Published 2001
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  17. 17
    Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
    Published 2006
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  18. 18
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
    Published 2000
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  19. 19
    Perspectives of System Informatics Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
    Published 1996
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  20. 20
    Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    Published 1993
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  21. 21
    Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
    Published 2012
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  22. 22
    Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
    Published 2016
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  23. 23
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
    Published 2005
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  24. 24
    Model-Based Testing of Reactive Systems Advanced Lectures
    Published 2005
    Other Authors: “…Broy, Manfred…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: