Model-Based Testing of Reactive SystemsManfred Broy
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker · 2005
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2005
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- עמודים
- 664
- ISBN
- 9783540320371
מקור הנתונים: Wikidata
עוד של Manfred Broy
Software PioneersManfred Broy
Software Pioneers
Manfred Broy · 2002
Specification and Development of Interactive SystemsManfred Broy
Specification and Development of Interactive Systems
Manfred Broy · 2001
Mathematical Methods in Program DevelopmentManfred Broy
Mathematical Methods in Program Development
Manfred Broy · 1997
Programming and Mathematical MethodManfred Broy
Programming and Mathematical Method
Manfred Broy · 1992
Constructive Methods in Computing ScienceManfred Broy
Constructive Methods in Computing Science
Manfred Broy · 1989
Logic of Programming and Calculi of Discrete DesignManfred Broy
Logic of Programming and Calculi of Discrete Design
Manfred Broy · 1987
Engineering Theories of Software Intensive SystemsManfred Broy
Engineering Theories of Software Intensive Systems
Manfred Broy · 2005
Pioneers and Their Contributions to Software EngineeringManfred Broy
Pioneers and Their Contributions to Software Engineering
Manfred Broy · 2001
Specification and development of interactive systemsManfred Broy
Specification and development of interactive systems
Manfred Broy · 2001
Control Flow and Data Flow: Concepts of Distributed ProgrammingManfred Broy
Control Flow and Data Flow: Concepts of Distributed Programming
Manfred Broy · 1985