Computer Aided Verification

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Ganesh Gopalakrishnan; ‎Shaz Qadeer وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783642221101, 3642221106 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642221095, 3642221092. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Ganesh Gopalakrishnan; ‎Shaz Qadeer وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783642221101, 3642221106 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642221095, 3642221092. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.