Interactive Systems. Design, Specification, and Verification and over one million other books are available for Amazon Kindle. Learn more

Quantity:


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

Sell Back Your Copy

For a $2.24 Gift Card

Learn more

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Start reading Interactive Systems. Design, Specification, and Verification on your Kindle in under a minute.

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers (Lecture Notes in Computer Science) [Paperback]

Price:	$71.00 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	Special Offers Available
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Tuesday, January 31? Choose One-Day Shipping at checkout. Details

FREE Two-Day Shipping for Students. Learn more

Formats	Amazon Price		New from	Used from
Kindle Edition	$56.80		--	--
Paperback	$71.00		--	--

Book Description

ISBN-10: 3540201599 | ISBN-13: 978-3540201595 | Publication Date: December 5, 2003 | Edition: 1

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.

Special Offers and Product Promotions

Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)

Product Details

Paperback: 442 pages
Publisher: Springer; 1 edition (December 5, 2003)
Language: English
ISBN-10: 3540201599
ISBN-13: 978-3540201595
Product Dimensions: 9.1 x 6.1 x 1 inches
Shipping Weight: 1.4 pounds (View shipping rates and policies)
Amazon Best Sellers Rank: #2,092,980 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Inside This Book (learn more)

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Textbook Buyback forum Missed shipping date	0	1 hour ago
Textbook Buyback forum Directed here to Textbook Buyback Forum by Amazon	0	9 hours ago
Textbook Buyback forum Name on book	4	10 hours ago
Textbook Buyback forum Returned book in bad condition/Sent as new	4	10 hours ago
Textbook Buyback forum Is it OK if I used it to nudge several people towards Death Valley with it?	2445	20 hours ago
Textbook forum Never Again	28	1 day ago
Textbook Buyback forum Ebooks	7	1 day ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	2 days ago