Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison.
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 9783540341468
- QA76.9.I58 G55 2006
Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Digital Colección Digital | QA76.9.I58 G55 2006 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SpringerLink | BDIG00010514 |
There are no comments on this title.
Log in to your account to post a comment.