Research Catalog
Model-based testing of reactive systems : advanced lectures
- Title
- Model-based testing of reactive systems : advanced lectures / Manfred Broy [and others] (eds.).
- Publication
- Berlin : Springer, 2005.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.76.T48 M644 2005g | Off-site |
Holdings
Details
- Additional Authors
- Broy, M., 1949-
- Description
- viii, 659 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 3472
- Uniform Title
- Lecture notes in computer science ; 3472.
- Subjects
- ISBN
- 3540262784 (pbk.)
- OCLC
- ocm60846322
- SCSB-5192022
- Owning Institutions
- Columbia University Libraries