Interactive Systems - Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 2006, Revised Papers
by Gavin Doherty, Ann Blandford Paperback 2007
- Author: Gavin Doherty, Ann Blandford
- ISBN 13: 9783540695530
- ISBN 10: 3540695532
- Publication Year: 2007
- Language: English
Specifications
Index-103540695532
LanguageEnglish
Index-139783540695530
Period-
Class Track-
Publisher- (2007)
Pages-