| Interactive Systems: Design, Specifications, and Verification : 9th International Workshop, Dav-Is Sic 2002, Rostock, Germany, June 12-14, 2002 : Proceedings (Lecture Notes in Computer Science, 2545) Автор: P. Forbrig, J. Vanderdonckt, Q. Limbourg, Peter Forbrig, Dsv-Is 200, B. Urban Год: 2000
|
|
|