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.

Teilen: