Interactive Systems. Design, Specification, and Verification:...

Buy Interactive Systems. Design, Specification, and Verification:... here, one of many Computer Network Theory books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Computer Network Theory > Item 576

	Interactive Systems. Design, Specification, and Verification:...
	by Philippe Palanque and Fabio Paterno Sales Rank: 6345511	$59.95 At Amazon on 9-26-2008.

*Features* Cover Type: Paperback with 251 pages Published by: Springer Edition: 1st Edition February 23, 2001 Written in: English ISBN 10 Number: 3540416633 ISBN 13 Number: 978-3540416630 Book Dimensions: 9.3 x 6.1 x 0.6 inches Weighs: 14.4 ounces *Product Description* This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000. The 14 revised full papers presented were carefully reviewed and selected from thirty submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems. Book Info Proceedings of the 7th International Workshop, DSV-IS 2000, held in Limerick, Ireland, June 5-6, 2000. Topics covered include designing user interfaces, designing interactive distributed systems, and tools for user interfaces. Softcover. Back To Top
Interactive Systems. Design, Specification, and Verification:... ~~List Price: $59.95~~ Available from Amazon Price: $59.95 Updated on 9-26-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Interactive Systems. Design, Specification, and Verification:... and other related Computer Network Theory Books here at Rbookshop.com. To view more books about Computer Network Theory please use the previous and next buttons near the top of this page.