Interactive systems :  design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / 
 DSVIS 2005 
Stephen W. Gilroy, Michael D. Harrison, eds. 
 - xi, 263 páginas :  ilustraciones 
 - Lecture notes in computer science,  3941 .
 - Lecture notes in computer science  .
<br/><br/><label>ISBN: </label>3540341455 (rústica) 9783540341451 (rústica) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computadoras--Sistemas de interacción--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.9I58  / D78 2005