Design, Specification and Verification of Interactive Systems ’99 87 Internationale Kreditverträge8

Internationale Kreditverträge8

der Welt ein Zeichen geben

Die Bucht der schwarzen Perlen und Die Verdammten der Taiga ausgewählt

Die Veröffentlichung ihres Werkes

In den letzten Jahren beschäftigt sich eine zunehmende Anzahl von wissenschaftlichen Publikationen mit der Frage nach dem Management und Controlling von Wissen oder Kunden

Design, Specification and Verification of Interactive Systems ’99 87 Internationale Kreditverträge8This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making