Manfred Broy
Auteur de Software Pioneers
Œuvres de Manfred Broy
Logic of Programming and Calculi of Discrete Design (Nato a S I Series Series III, Computer and Systems Sciences) (1987) 6 exemplaires
Cyber-Physical Systems : Innovation durch softwareintensive eingebettete Systeme (2010) 5 exemplaires
KORSO. Methods, Languages and Tools for the Construction of Correct Software. Final Report (1995) 4 exemplaires
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) (2005) 4 exemplaires
Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen,… (1992) 4 exemplaires
Informatik 1. Programmierung und Rechnerstrukturen. Eine grundlegende Einführung. (Springer-Lehrbuch) (1997) 3 exemplaires
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering… (2005) 3 exemplaires
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering… 1 exemplaire
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering… 1 exemplaire
Informatik. Eine grundlegende Einführung 1. Programmierung und Rechnerstrukturen (2009) 1 exemplaire
Informatik - Eine grundlegende Einführung Band 2: Systemstrukturen und Theoretische Informatik (2003) 1 exemplaire
Requirements Targeting Software and Systems Engineering: International Workshop Rtse'97, Bernried, Germany, October (1998) 1 exemplaire
Models, Algebras and Logic of Engineering Software (NATO Science Series: Computer & Systems Sciences) (2003) 1 exemplaire
Programmierung und Rechnerstrukturen 1 exemplaire
Program Design Calculi (NATO ASI Subseries F:, 118) 1 exemplaire
Étiqueté
Partage des connaissances
- Nom canonique
- Broy, Manfred
- Date de naissance
- 1949-08-10
- Nationalité
- Deutschland
- Lieu de naissance
- Landsberg am Lech, Deutschland
- Professions
- Informatiker
Professor - Organisations
- Technische Universität München
Membres
Statistiques
- Œuvres
- 22
- Membres
- 71
- Popularité
- #245,552
- Évaluation
- 3.5
- ISBN
- 33
- Langues
- 1