Items related to Interactive Systems: Design, Specification, and Verification...

Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002: 2545 (Lecture Notes in Computer Science, 2545) - Softcover

 
9783540002666: Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002: 2545 (Lecture Notes in Computer Science, 2545)

Synopsis

 This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of  Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.

The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9783662190425: Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

Featured Edition

ISBN 10:  3662190427 ISBN 13:  9783662190425
Publisher: Springer, 2014
Softcover

Search results for Interactive Systems: Design, Specification, and Verification...

Seller Image

Forbrig, Peter (EDT); Vanderdonckt, J. (EDT); Limbourg, Q. (EDT); Dsv-Is 200 (2002 Rostock, Germany); Urban, B.; Vanderdonckt, J.; Limbourg, Q.
Published by Springer, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 1633111-n

Contact seller

Buy New

£ 50.24
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bodo Urban, Peter Forbrig, Jean Vanderdonckt, Quentin Limbourg
Published by Springer 2008-06-13, 2008
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540002666

Contact seller

Buy New

£ 47.76
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540002666_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Forbrig, Peter (EDT); Vanderdonckt, J. (EDT); Limbourg, Q. (EDT); Dsv-Is 200 (2002 Rostock, Germany); Urban, B.; Vanderdonckt, J.; Limbourg, Q.
Published by Springer, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 1633111

Contact seller

Buy Used

£ 55.73
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bodo Urban
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing. 284 pp. Englisch. Seller Inventory # 9783540002666

Contact seller

Buy New

£ 47.70
Convert currency
Shipping: £ 9.52
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Bodo Urban
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing. Seller Inventory # 9783540002666

Contact seller

Buy New

£ 47.70
Convert currency
Shipping: £ 12.11
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Peter Forbrig
Published by Berlin Springer Verlag, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
Used Softcover

Seller: CSG Onlinebuch GMBH, Darmstadt, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Softcover. Condition: Sehr gut. Gebraucht - Sehr gut Zustand: Gut, Mängelexemplar, X, 269 p. About this book: This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing. Seller Inventory # 15174

Contact seller

Buy Used

£ 26.83
Convert currency
Shipping: £ 33.77
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Forbrig, Peter (EDT); Vanderdonckt, J. (EDT); Limbourg, Q. (EDT); Dsv-Is 200 (2002 Rostock, Germany); Urban, B.; Vanderdonckt, J.; Limbourg, Q.
Published by Springer, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 1633111-n

Contact seller

Buy New

£ 46.63
Convert currency
Shipping: £ 14.86
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Urban, Bodo|Vanderdonckt, Jean|Limbourg, Quentin
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. &nbspThis book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of&nbsp Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised f. Seller Inventory # 4877049

Contact seller

Buy New

£ 43.13
Convert currency
Shipping: £ 21.64
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Forbrig, Peter (EDT); Vanderdonckt, J. (EDT); Limbourg, Q. (EDT); Dsv-Is 200 (2002 Rostock, Germany); Urban, B.; Vanderdonckt, J.; Limbourg, Q.
Published by Springer, 2002
ISBN 10: 3540002669 ISBN 13: 9783540002666
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 1633111

Contact seller

Buy Used

£ 53.08
Convert currency
Shipping: £ 14.86
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 2 more copies of this book

View all search results for this book