Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

Main Author: Gilroy, Stephen W.
Corporate Author: SpringerLink (Online service)
Other Authors: Harrison, Michael D. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Physical Description:XII, 276 p online resource
ISBN:9783540341468