دانلود کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

رویکردهای رسمی آزمایش نرم افزار و تأیید اعتبار زمان اجرا: اولین کارگاه های بین المللی ترکیبی ، FATES 2006 و RV 2006 ، سیاتل ، WA ، ایالات متحده آمریکا ، 15 تا 16 آگوست 2006 ، مقاله های منتخب اصلاح شده

زبان : English

نویسندگان : Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2006

ISBN (شابک) : 9783540496991, 3540496998

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4262 : Programming and Software Engineering

تعداد صفحات : 255[261]

حجم : 5 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان