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?

Die angezeigten Daten werden derzeit aktualisiert.
Derzeit steht der Fernleihindex leider nicht zur Verfügung.
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