Model-based testing of reactive systems : advanced lectures / Manfred Broy [and others] (eds.).

Other author Broy, M., 1949-
Format Book
Publication InfoBerlin : Springer, 2005.
Descriptionviii, 659 pages : illustrations ; 24 cm.
Subjects

SeriesLecture notes in computer science ; 3472, 0302-9743 ;
Lecture notes in computer science 3472. ^A466336
Bibliography noteIncludes bibliographical references and index.
ISBN3540262784 (pbk.)
ISBN9783540262787