Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /

Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers / edited by Gavin Doherty, Ann Blandfort. - xi, 268 pages : illustrations ; 24 cm. - Lecture notes in computer science ; 4323 .

9783540695530 3540695532


Interactive computer systems --Congresses.

QA76.9.I58 / .I58 2007

Powered by Koha