Interactive Systems:Design, Specification, and Verification
Subtitle: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers
By: edited by Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban
Contributors: Limbourg, Quentin; Urban, Bodo; Vanderdonckt, Jean
Series: Lecture Notes in Computer Science -- 2545; Lecture notes in computer science -- 2545.
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2002
Place of publication: Berlin, Heidelberg
Language: eng
Format: [Elektronische Ressource] :
ISBN-13: 9783540362357
Subjects: Logic design; Information storage and retrieval systems; Computer science; Software engineering