.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Interactive Systems Design, Specification, and Verification
Graham
€ 67.28
FREE Delivery in Ireland
Description for Interactive Systems Design, Specification, and Verification
Paperback. Constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. This book features 21 revised full papers and 10 late breaking and experience report papers. Series: Lecture Notes in Computer Science. Num Pages: 323 pages, biography. BIC Classification: UG; UKN; UMB; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 237 x 157 x 19. Weight in Grams: 484.
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 ... Read more
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
323
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
314
Place of Publication
Berlin, Germany
ISBN
9783540705680
SKU
V9783540705680
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Interactive Systems Design, Specification, and Verification