Tell your friends about this item:
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-is 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers - Lecture Notes in Computer Science Philippe et Al Palanque
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-is 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers - Lecture Notes in Computer Science
Philippe et Al Palanque
The papers from post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, 2000, are organized in sections, including: designing interactive distributed systems; designing user interfaces; and tools for user interfaces.
268 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 30, 2001 |
| ISBN13 | 9783540416630 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 268 |
| Dimensions | 156 × 234 × 14 mm · 381 g |
| Language | German |
| Editor | Palanque, Philippe |
| Editor | Paterno, Fabio |