خرید و دانلود نسخه کامل کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)

رویکردهای رسمی برای تست نرم افزار و تأیید زمان اجرا: اولین کارگاه های بین المللی ترکیبی سرنوشت 2006 و RV 2006 ، سیاتل ، WA ، ایالات متحده ، ... (یادداشت های سخنرانی در علوم کامپیوتر ، 4262)

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)

نویسنده: Klaus Havelund (editor), Manuel Núnez (editor), Grigore Rosu (editor), Burkhart Wolff (editor)

ناشر: Springer

سال انتشار: 2006

تعداد صفحات: 262

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت