Design, specification and verification of interactive systems ’99: proceedings of the eurographics workshop in braga, portugal, june 2–4, 1999
Éditeur :
Springer Verlag GmbH
ISBN :
9783211834053
Date de publication :
1 oct. 1999
Dimensions :
24,4 x 17,0 cm
Langue :
Anglais
Pays d'origine :
Autriche
This 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.