Media type: Book; Conference Proceedings Title: Interactive systems : design, specifications, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002; revised papers Contributor: Forbrig, Peter [Hrsg.] Event: International Workshop on Design, Specification, and Verification of Interactive Systems imprint: Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2545 Extent: X, 267 S.; graph. Darst Language: English ISBN: 3540002669 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Mensch-Maschine-Kommunikation > Benutzeroberfläche > Softwarespezifikation > Systementwurf Mensch-Maschine-Kommunikation > Mobile Computing Mensch-Maschine-Kommunikation > Softwarespezifikation Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5880 Item ID: 30933763 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order