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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540416630 - January 30, 2001
In case cover and title do not match, the title is correct

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

Price
Íkr 6,879
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16
Add to your iMusic wish list

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

Mere med samme udgiver