-
1Interactive Systems:Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers / Interactive Systems:Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers /by Forbrig, Peter. editor., Limbourg, Quentin. editor., Vanderdonckt, Jean. editor., Urban, Bodo. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
2Interactive Systems:Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers / Interactive Systems:Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers /by Forbrig, Peter. editor., Limbourg, Quentin. editor., Vanderdonckt, Jean. editor., Urban, Bodo. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS