Interactive Systems: Design Specification and Verification
59.00 EUR 53.49 EUR
9% Off
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.