Interactive Systems. Design, Specification, and Verification
Subtitle: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque
Contributors: Graham, T. C. Nicholas (Thomas Craig Nicholas), 1964-; Kanade, Takeo; Kittler, Josef, 1946-; Kleinberg, Jon; Mattern, Friedemann; Mitchell, John C.; Naor, Moni, 1961-; Nierstrasz, Oscar Marius, 1957-; Palanque, Philippe, 1966-; 1955-; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, J.D.; Vardi, Moshe Y.; Weikum, Gerhard; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5136
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540705680; 9783540705697
Subjects: Logic design; Information storage and retrieval systems; Computer science; Software engineering; Multimedia systems