Interactive Systems: Design, Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle Upon Tyne, UK, July 13-15, 2005 : Revised Papers (Lecture notes in computer science, 3941)

Författare
Stephen W. Gilroy
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Verlag 2006 Utgivningsland okänt / Ej specificerat