Ahmed Bouajjani & Wei-Ngan Chin 
Automated Technology for Verification and Analysis [PDF ebook] 
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

الدعم
€57.88
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783642156434 ● محرر Ahmed Bouajjani & Wei-Ngan Chin ● الناشر Springer Berlin Heidelberg ● نشرت 2010 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6321565 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

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

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