Interactive Systems. Design, Specification, and Verification

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers 1st الإصدار تمت الكتابة بواسطة Gavin Doherty; ‎Ann Blandford وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Systems. Design, Specification, and Verification هي 9783540695547, 3540695540 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540695530, 3540695532. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers 1st الإصدار تمت الكتابة بواسطة Gavin Doherty; ‎Ann Blandford وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Systems. Design, Specification, and Verification هي 9783540695547, 3540695540 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540695530, 3540695532. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.