Interactive Systems: Design, Specification, and Verification

Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 1st الإصدار تمت الكتابة بواسطة Bodo Urban; Jean Vanderdonckt; Quentin Limbourg وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Systems: Design, Specification, and Verification هي 9783540362357, 3540362355 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540002666, 3540002669. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 1st الإصدار تمت الكتابة بواسطة Bodo Urban; Jean Vanderdonckt; Quentin Limbourg وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Systems: Design, Specification, and Verification هي 9783540362357, 3540362355 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540002666, 3540002669. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.