دانلود کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

49,000 تومان
روش های رسمی و مهندسی نرم افزار: ششمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2004، سیاتل، WA، ایالات متحده آمریکا، 8-12 نوامبر 2004. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 500
حجم فایل 6 مگابایت
کد کتاب 3540238417,9783540238416
نوبت چاپ 1

دانلود کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

49,000 تومان
روش های رسمی و مهندسی نرم افزار: ششمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2004، سیاتل، WA، ایالات متحده آمریکا، 8-12 نوامبر 2004. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 500
حجم فایل 14 مگابایت
کد کتاب 3540238417,9783540238416,9783540304821
نوبت چاپ 1

دانلود کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

49,000 تومان
روش های رسمی یکپارچه: ششمین کنفرانس بین المللی، IFM 2007، آکسفورد، انگلستان، 2-5 ژوئیه، 2007. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 662
حجم فایل 6 مگابایت
کد کتاب 3540732098,9783540732099
نوبت چاپ 1

دانلود کتاب Specification and proof in real-time CSP

49,000 تومان
مشخصات و اثبات در CSP بلادرنگ
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 199
حجم فایل 2.03 مگابایت
کد کتاب 0521450551 , 9780521450553

دانلود کتاب Using Z: Specification, Refinement, and Proof

49,000 تومان
استفاده از Z: مشخصات، پالایش و اثبات
موضوع اصلی برنامه نویسی: زبان های برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Prentice Hall
تعداد صفحه 408
حجم فایل 1 مگابایت
کد کتاب 0139484728,9780139484728

دانلود کتاب Using Z.Specification,refinement,and proof

49,000 تومان
با استفاده از Z.Specification، پالایش و اثبات
موضوع اصلی الکترونیک: رادیو
نوع کالا کتاب الکترونیکی
ناشر Prentice Hall
تعداد صفحه 407
حجم فایل 5 مگابایت
کد کتاب 9780139484728,0139484728