Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Corporate Author: SpringerLink (Online service)
Other Authors: Doherty, Gavin (Editor), Blandford, Ann (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Edition:1st ed. 2007
Series:Programming and Software Engineering
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Physical Description:XI, 276 p online resource