Library of American University of Madaba

Normal View MARC View ISBD View

Model-based testing of reactive systems : advanced lectures / Manfred Broy ... [et al.] (eds.). - Berlin : Springer, 2005. - viii, 659 p. : ill. ; 24 cm. - Lecture notes in computer science ; 3472 0302-9743 ; .

Includes bibliographical references (p. [617]-651) and index.

ISBN: 9783540262787 3540262784

Subjects--Topical Terms:
Computer software--Testing.
Information technology.

Dewey Class. No.: 005.14 / M689