ifm

  • روش های رسمی یکپارچه: ششمین کنفرانس بین المللی، IFM 2007، آکسفورد، انگلستان، 2-5 ژوئیه، 2007. مجموعه مقالات

    دانلود کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (به فارسی: روش های رسمی یکپارچه: ششمین کنفرانس بین المللی، IFM 2007، آکسفورد، انگلستان، 2-5 ژوئیه، 2007. مجموعه مقالات) نوشته شده توسط «Nazareno Aguirre – Germán Regis – Tom Maibaum (auth.) – Jim Davies – Jeremy Gibbons (eds.)» اطلاعات کتاب روش های رسمی یکپارچه: ششمین کنفرانس بین المللی، IFM 2007، آکسفورد، انگلستان، 2-5 ژوئیه، 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Nazareno Aguirre – Germán Regis – Tom Maibaum (auth.) – Jim Davies – Jeremy Gibbons (eds.)…

  • روش های رسمی یکپارچه: چهارمین کنفرانس بین المللی، IFM 2004، Cnaterbury، انگلستان، 4-7 آوریل، 2004. مجموعه مقالات

    دانلود کتاب Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings (به فارسی: روش های رسمی یکپارچه: چهارمین کنفرانس بین المللی، IFM 2004، Cnaterbury، انگلستان، 4-7 آوریل، 2004. مجموعه مقالات) نوشته شده توسط «Thomas Ball – Byron Cook – Vladimir Levin – Sriram K. Rajamani (auth.) – Eerke A. Boiten – John Derrick – Graeme Smith (eds.)» اطلاعات کتاب روش های رسمی یکپارچه: چهارمین کنفرانس بین المللی، IFM 2004، Cnaterbury، انگلستان، 4-7 آوریل، 2004. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Thomas Ball – Byron Cook – Vladimir Levin…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان