Title Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers / Gavin Doherty, Ann Blandford (eds.)

Published Berlin ; New York : Springer, [2007] ©2007

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.437 Eur/Dsa 2006		AVAILABLE

Description xi, 268 pages : illustrations ; 24 cm Series Lecture notes in computer science, 0302-9743 ; 4323 Lecture notes in computer science. 0302-9743 ; 4323 Bibliography Includes bibliographical references and index Subject Interactive computer systems -- Congresses. Genre/Form Conference papers and proceedings. Author Doherty, Gavin. Blandford, Ann. LC no. 2006939792 ISBN 9783540695530 (paperback) 3540695532 (paperback)

Other Titles DSVIS 2006

  Permalink