Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers (Lecture Notes in Computer Science)
Format: kindle
ASIN: B001CU20OQ
Publish date: December 5th 2003
Publisher: Springer
Pages no: 429
Edition language: English