Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Interactive Systems

Interactive Systems

Design, Specification, and Verification: 9th International Workshop, Dsv-Is 2002, Rostock Germany, June 12-14, 2002

by Bodo Urban, Jean Vanderdonckt, Quentin Limbourg

Springer

₹5,524

Free delivery. Nothing extra to pay at checkout.

  • New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.

Book details

ISBN-13
9783540002666
ISBN-10
3540002669
Authors
Bodo Urban, Jean Vanderdonckt, Quentin Limbourg
Publisher
Springer
Condition
New
See all