Поиск
На сайте: 566443 статей, 285463 фото.

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…»

Рецензии

См. также

Ссылки