Interactive systems design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002 : revised papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2545 |
| Schlagworte: |
Interactieve computersystemen
> Interfaces
> Programmatuurtechniek
> Systèmes conversationnels (Informatique) - Congrès
> Verificatie
> Vormgeving
> Interactive computer systems
> Benutzeroberfläche
> Mobile Computing
> Mensch-Maschine-Kommunikation
> Softwarespezifikation
> Systementwurf
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | X, 267 S. graph. Darst. |
|---|---|
| ISBN: | 3540002669 3-540-00266-9 |