KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Interactive systems : design, specifications, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002; revised papers (2002)

Forbrig, Peter [Hrsg.] ; International Workshop on Design, Specification, and Verification of Interactive Systems 9 2002 Rostock

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1602909547

Umfang: X, 267 S. , graph. Darst.

ISBN: 3540002669

Serie: Lecture notes in computer science 2545

Anmerkung: Literaturangaben

Weitere Ausg.: Online-Ausg. Forbrig, Peter, 1954 - Interactive Systems:Design, Specification, and Verification Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 ISBN 9783540362357

Weitere Ausg.: ISBN 3540362355

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Mensch-Maschine-Kommunikation ; Benutzeroberfläche ; Softwarespezifikation ; Systementwurf ; Mensch-Maschine-Kommunikation ; Mobile Computing ; Mensch-Maschine-Kommunikation ; Softwarespezifikation ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

URL: Inhaltstext

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

UB Potsdam

Berlin VÖBB/ZLB

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg