X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

The displayed data is currently being updated.
Unfortunately, the interlibrary loan index is currently not available.
Export
back to result list
1
Book
Book
Formal methods in human-computer interaction (1998)
London : Springer
Details
UID:
gbv_231342810
Format: xvii, 376 Seiten , Illustrationen, Diagramme , 24 cm
ISBN: 9783540761587 , 3540761586
Series Statement: Formal approaches to computing and information technology - FACIT
Note: Literaturverz. S. [347] - 361
Language: English
Subjects: Computer Science
RVK:
ST 278
Keywords: Benutzeroberfläche ; Formale Spezifikationstechnik ; World Wide Web ; Algebraische Spezifikation ; Mensch-Maschine-Kommunikation ; Aufsatzsammlung
URL: Inhaltsverzeichnis
URL: Cover
URL: Inhaltstext
Library Location Call Number Volume/Issue/Year Availability
BibTip Others were also interested in ...
Book
UB Potsdam get availability status
Associated Volumes
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages