Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers : 2220 by Chris J. Johnson - Paperback

AED303.69
(0) Write a Review
SKU:
9783540428077
UPC:
9783540428077

Product Description

ISBN: 9783540428077
TITLE: Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers : 2220
AUTHOR: Chris J. Johnson
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 24 Oct 2001

Other Details

ISBN:
9783540428077
Author:
Chris J. Johnson
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:24 Oct 2001
Book Format:
Paperback