Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
- Author
- Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2001
- Page
- 221
- ISBN
- 3540428070,9783540428077
- File Type
- pdf
- File Size
- 2.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot
Free Download Book