Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers

Interactive systems design, specification, and verification ; 10th international workshop ; revised papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: DSV IS (BerichterstatterIn)
Weitere Verfasser: Jorge, Joaquim (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2844
Schlagworte:
Konferenzschrift > Mensch-Maschine-Kommunikation > Benutzeroberfläche > Softwarespezifikation > Systementwurf > Mobile Computing
Online Zugang:Vorwort
Inhaltsverzeichnis
Buchumschlag
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIII, 427 S. : Ill., graph. Darst.
ISBN:3540201599