Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers. [elektronicky zdroj]
Autor: | Doherty, Gavin |
---|---|
Další autoři: | |
Jazyk: | angličtina |
Informace o vydání: | Berlin, Heidelberg : Springer Berlin / Heidelberg, 2007. |
Předmět: | |
Druh dokumentu: | Online; Non-fiction; Electronic document |
Databáze: | Vybrané kolekce e-knih |
Externí odkaz: |