X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Schlagwörter
zurück zur Trefferliste
1
Buch
Buch
Formal methods in human-computer interaction (1998)
London : Springer
Details
UID:
gbv_231342810
Umfang: xvii, 376 Seiten , Illustrationen, Diagramme , 24 cm
ISBN: 9783540761587 , 3540761586
Serie: Formal approaches to computing and information technology - FACIT
Anmerkung: Literaturverz. S. [347] - 361
Sprache: Englisch
Fachgebiete: Informatik
RVK:
ST 278
Schlagwort(e): Benutzeroberfläche ; Formale Spezifikationstechnik ; World Wide Web ; Algebraische Spezifikation ; Mensch-Maschine-Kommunikation ; Aufsatzsammlung
URL: Inhaltsverzeichnis
URL: Cover
URL: Inhaltstext
Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
BibTip Andere fanden auch interessant ...
Buch
UB Potsdam get availability status
Dazugehörige Titel
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz