Interactive systems:design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: DSV-IS 2008 (2008 Kingston, Ont.); SpringerLink (Online service)
Group Author: (Thomas Craig Nicholas), 1964-; Palanque Philippe, 1966-; Graham T. C. Nicholas
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5136
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-70569-7
Carrier Form: 1 online resource (ix, 309 p.): ill. (some col.)
ISBN: 9783540705697 (electronic bk.)
3540705694 (electronic bk.)
Index Number: TP393
CLC: TP393-532
TP391-532
Contents: Includes bibliographical references and index.