Interactive systems :
design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /
Gavin Doherty, Ann Blandford (eds.).
| Main Creator: | |
|---|---|
| Contributors: | |
| Format: | Journal / Serial |
| Language: | English |
| Published / Created: |
Berlin ;
Springer,
c2007.
|
| Series: | Lecture notes in computer science,
4323 |
| Subjects: | |
| Notes: | Includes bibliographical references and index. Also issued online. Physical description: xi, 268 p. : ill. ; 24 cm. more |
| ISBN: | 9783540695530 (pbk.) 3540695532 (pbk.) |