Design, Specification and Verification of Interactive Systems ’99
Springer Verlag GmbH, 1999
68,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783211834053
- ISBN-10
- 3211834052
- Publisher
- Springer Verlag GmbH
- Year
- 1999
- Publication date
- 1999-10-01
- Pages
- 282
- Dimensions
- 244x170x