Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Sharon Barner; ‎Ian Harris; ‎Daniel Kroening وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Hardware and Software: Verification and Testing هي 9783642195839, 3642195830 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642195822, 3642195822. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Sharon Barner; ‎Ian Harris; ‎Daniel Kroening وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Hardware and Software: Verification and Testing هي 9783642195839, 3642195830 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642195822, 3642195822. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.