Interactive Systems: Design, Specification, and Verification Chris J. Johnson
53,49 €
Titel: Interactive Systems: Design, Specification, and Verification, Untertitel: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers, Einband: Taschenbuch, Autor: Chris J. Johnson, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 236, Maße: 235x155x13 mm, Gewicht: 365 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Oberflächengestaltung Kommunikation (Technik) CSW Interactive Systems Interface Semi-Formal Methods XML adaptive interfaces formal methods human-computer interaction (HCI) interface design mobility modeling petri net universal access user interfaces verification.
Jetzt bei Ebay:
