Interactive Systems: Design, Specification, And Verification: 8Th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. ... Notes in Computer Science, 2220, Band 2220)
Dieses Buch fasst die Erkenntnisse des internationalen Workshops DSV‑IS 2001 in Glasgow zusammen, beleuchtet die Gestaltung interaktiver Systeme u ...