Interactive Systems : Design, Specification, and Verification - 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 2000, Revised Papers

ISBN

9783540416630

$99.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:2001 Number of Pages:x, 258 Illustrated:Yes Series Volume Number:1946 Media Class:Print LC Classification Number:QA75.5-76.95