Interactive Systems: Design Specification and Verification
53.49 EUR
Ein Fachbuch zum Workshop DSV‑IS 2001 in Glasgow, das interaktive Systeme untersucht: Design, Spezifikation und Verifikation werden anhand aktueller Theorien und praxisnaher Beispiele beleuchtet.