booktheque

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker · 2005

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2005
Language
English
Publisher
Springer London, Limited
Editions
1
Pages
664
ISBN
9783540320371

Data source: Wikidata

More by Manfred Broy

Software Pioneers
Manfred Broy · 2002
Specification and Development of Interactive Systems
Manfred Broy · 2001
Mathematical Methods in Program Development
Manfred Broy · 1997
Programming and Mathematical Method
Manfred Broy · 1992
Constructive Methods in Computing Science
Manfred Broy · 1989
Logic of Programming and Calculi of Discrete Design
Manfred Broy · 1987
Engineering Theories of Software Intensive Systems
Manfred Broy · 2005
Pioneers and Their Contributions to Software Engineering
Manfred Broy · 2001
Specification and development of interactive systems
Manfred Broy · 2001
Control Flow and Data Flow: Concepts of Distributed Programming
Manfred Broy · 1985