Interactive Systems. Design, Specification, and Verification: 10th International Workshop

Författare
Joaquim A. Jorge
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-3-540-39929-2