Interactive Systems: Design, Specifications, and Verification: 9th International Workshop, Dav-Is Sic 2002, Rostock, Germany, June 12-14, 2002: Proceedings (книга)
| Interactive Systems: Design, Specifications, and Verification: 9th International Workshop, Dav-Is Sic 2002, Rostock, Germany, June 12-14, 2002: Proceedings | |
| Автор: | P. Forbrig J. Vanderdonckt Q. Limbourg Peter Forbrig Dsv-Is 200 B. Urban |
|---|---|
| Оригинал издан: | ???? |
«Interactive Systems: Design, Specifications, and Verification: 9th International Workshop, Dav-Is Sic 2002, Rostock, Germany, June 12-14, 2002: Proceedings» — книга ???? года.
Содержание |
Содержание 
От издателя
«This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
