Umfang:
X, 250 S.
,
graph. Darst.
ISBN:
3540416633
Serie:
Lecture notes in computer science 1946
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Palanque, Philippe Interactive Systems Design, Specification, and Verification Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001 ISBN 9783540446750
Weitere Ausg.:
ISBN 3540416633
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Benutzeroberfläche
;
Softwareentwicklung
;
Benutzeroberfläche
;
Softwarespezifikation
;
Mensch-Maschine-Kommunikation
;
Formale Spezifikationstechnik
;
Verteiltes System
;
Benutzeroberfläche
;
Groupware
;
Konferenzschrift
Bookmarklink