M. Broy
M. Broy
1949
8 ספרים במאגר
ספרים
Software pioneersM. Broy
Software pioneers
M. Broy · 2002
Software system reliability and securityM. Broy
Software system reliability and security
M. Broy · 2007
Model-based testing of reactive systemsM. Broy
Model-based testing of reactive systems
M. Broy · 2005
Formal systems specificationM. Broy
Formal systems specification
M. Broy · 1996
KORSOM. Broy
KORSO
M. Broy · 1995
Methods of programmingM. Broy
Methods of programming
M. Broy · 1991
Software and systems safetyM. Broy
Software and systems safety
M. Broy · 2011
Calculational system designM. Broy
Calculational system design
M. Broy
ספרים משותפים ואוספים
ספרים שבהם M. Broy מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Perspectives of system informaticsD. Bjørner
Perspectives of system informatics
D. Bjørner · 2000
Formal methods in programming and their applicationsD. Bjørner
Formal methods in programming and their applications
D. Bjørner · 1993
Informatikforschung in DeutschlandRoland Vollmar
Informatikforschung in Deutschland
Roland Vollmar · 2008