دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture … / Programming and Software Engineering)

49,000 تومان
روش های رسمی برای سیستم های بحرانی صنعتی: چهاردهمین کارگاه بین المللی، FMICS 2009، آیندهوون، هلند، 2-3 نوامبر 2009، مجموعه مقالات (سخنرانی ... / برنامه نویسی و مهندسی نرم افزار)
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 206
حجم فایل 9 مگابایت
کد کتاب 3642045693,9783642045691
نوبت چاپ 1

دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

49,000 تومان
روش‌های رسمی برای سیستم‌های بحرانی صنعتی: چهاردهمین کارگاه بین‌المللی، FMICS 2009، آیندهوون، هلند، 2-3 نوامبر 2009. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 213
حجم فایل 8 مگابایت
کد کتاب 3642045693,9783642045691
نوبت چاپ 1

دانلود کتاب Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

49,000 تومان
سنتز و تحول برنامه مبتنی بر منطق: دوازدهمین کارگاه بین المللی، LOPSTR 2002، مادرید، اسپانیا، 17 تا 20 سپتامبر 2002. مقالات منتخب اصلاح شده
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 279
حجم فایل 2 مگابایت
کد کتاب 3540404384,9783540404385
نوبت چاپ 1

دانلود کتاب Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

49,000 تومان
تکنیک ها و کاربردهای بازنویسی: نوزدهمین کنفرانس بین المللی، RTA 2008 هاگنبرگ، اتریش، 15-17 جولای، 2008 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 457
حجم فایل 5 مگابایت
کد کتاب 3540705880,9783540705888
نوبت چاپ 1

دانلود کتاب Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

49,000 تومان
تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی، SAS 2008، والنسیا، اسپانیا، 16-18 ژوئیه، 2008. مجموعه مقالات
موضوع اصلی تحلیل و بررسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 379
حجم فایل 4 مگابایت
کد کتاب 9783540691631
نوبت چاپ 1