Interactive Systems : Design, Specification, and Verification - 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 2000, Revised Papers
by Philippe Palanque, Fabio Paternó Paperback 2001
- Author: Philippe Palanque, Fabio Paternó
- ISBN 13: 9783540416630
- ISBN 10: 3540416633
- Publication Year: 2001
- Language: English
Specifications
Index-103540416633
LanguageEnglish
Index-139783540416630
Period-
Class Track-
Publisher- (2001)
Pages-