Computer Aided Verification

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st الإصدار تمت الكتابة بواسطة Warren A. Hunt; Jr.; ‎Fabio Somenzi وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783540450696, 3540450696 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540405245, 3540405240. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st الإصدار تمت الكتابة بواسطة Warren A. Hunt; Jr.; ‎Fabio Somenzi وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783540450696, 3540450696 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540405245, 3540405240. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.