Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Stephen W. Gilroy
Themen in »Interactive Systems. Design Specification, and Verification«
Fusion HCI Inform System UML Unified Modeling Language (UML) adaptive interfaces algorithm algorithms formal method formal methods groupware mobile computing modeling user interface design
Stimmen zu »Interactive Systems. Design Specification, and Verification«
Details
ISBN: 9783540341468
Verlag: Springer Berlin
Erscheinung: 26.05.2006