نمایش سایدبار
نمایش 12 24 36 همه
PDF

دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

49,000 تومان
تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 203
حجم فایل 3 مگابایت
کد کتاب 3642046932,9783642046933
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

49,000 تومان
تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 203
حجم فایل 2 مگابایت
کد کتاب 3642046932,9783642046933
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

49,000 تومان
تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 492
حجم فایل 7 مگابایت
کد کتاب 3642166113,9783642166112
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Time for Verification: Essays in Memory of Amir Pnueli

49,000 تومان
زمان تأیید: مقالاتی به یاد امیر پنولی
موضوع اصلی کامپیوتر - علوم کامپیوتر
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 413 / 407
حجم فایل 3.93 مگابایت
کد کتاب 3642137539 , 9783642137532
نوبت چاپ 1
افزودن به سبد خرید