Model-Based Testing of Reactive Systems

Loading edition detail...

Preparing this view.

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Bookitis Pick

Model-Based Testing of Reactive SystemsManfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

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

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer London, Limited
Pages	664
Search language	english
ISBN_13	978-3-540-32037-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.