Interactive Systems: Design, Specification, and Verification

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers 1st الإصدار تمت الكتابة بواسطة Chris J. Johnson وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Systems: Design, Specification, and Verification هي 9783540455226, 3540455221 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540428077, 3540428070. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers 1st الإصدار تمت الكتابة بواسطة Chris J. Johnson وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Systems: Design, Specification, and Verification هي 9783540455226, 3540455221 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540428077, 3540428070. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.