More by Manfred Broy
Programming and Mathematical Method: International Summer School
Book 88
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Book 55
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
Book 36
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Requirements Targeting Software and Systems Engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997
Software Pioneers: Contributions to Software Engineering
Mathematical Methods in Program Development
Book 158
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
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
Book 195
Model-Based Testing of Reactive Systems: Advanced Lectures
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology
Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology
€0