Byron Cook & Paul Jackson 
Computer Aided Verification [PDF ebook] 
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

الدعم
€114.69
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783642142956 ● محرر Byron Cook & Paul Jackson ● الناشر Springer Berlin Heidelberg ● نشرت 2010 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6321406 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

3٬675 كتب إلكترونية في هذه الفئة