Interactive systems : design, specification, and verification ; 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers /

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and grou...

Full description

Bibliographic Details
Corporate Author:	DSVIS 2005 Newcastle upon Tyne, England
Other Authors:	Gilroy, Stephen W, Harrison, M. D (Michael D.), Harrison, Michael D
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2006 Berlin ; New York : c2006
Series:	Lecture notes in computer science, 3941 Lecture notes in computer science ; 3941 Lecture notes in computer science 3941
Subjects:	Interactive computer systems > Congresses Interactive computer systems Conference papers and proceedings Kongress

Internet

Yale University

Holdings details from Yale University
Call Number:	QA76 A1 L43 3941 (LC)

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.9.I58 D78 2005

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.I58.D78 2005

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 3941

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 3941

Cornell University

Holdings details from Cornell University
Call Number:	QA76.9.I58 D78 2005

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.I58 D78 2005