Skip to content

Formal methods in human-computer interaction

by Philippe Palanque

Cover of Formal methods in human-computer interaction

No description available.

Formal methods (Computer science)Human-computer interactionWorld Wide WebInterfaces utilisateur (informatique)Mensch-Maschine-KommunikationInteraction homme-ordinateurAlgebraische SpezifikationFormale SpezifikationstechnikBenutzeroberflächeProcessamento grafico (graphics)AufsatzsammlungComputer software