Interactive Systems. Design, Specification, and Verification - 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
- Författare
- Stephen W. Gilroy
- (Edited by Stephen W. Gilroy, Michael D. Harrison.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2006 | Tyskland, Berlin, Heidelberg | 978-3-540-34146-8 |