fmco
روش های رسمی برای اجزا و اشیاء: پنجمین سمپوزیوم بین المللی، FMCO 2006، آمستردام، هلند، 7-10 نوامبر 2006، سخنرانی های تجدید نظر شده
دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (به فارسی: روش های رسمی برای اجزا و اشیاء: پنجمین سمپوزیوم بین المللی، FMCO 2006، آمستردام، هلند، 7-10 نوامبر 2006، سخنرانی های تجدید نظر شده) نوشته شده توسط «Lars Frantzen – Jan Tretmans (auth.) – Frank S. de Boer – Marcello M. Bonsangue – Susanne Graf – Willem-Paul de Roever (eds.)» اطلاعات کتاب روش های رسمی برای اجزا و اشیاء: پنجمین سمپوزیوم بین المللی، FMCO 2006، آمستردام، هلند، 7-10 نوامبر 2006، سخنرانی های تجدید نظر شده موضوع اصلی: کامپیوترها…
روش های رسمی برای اجزا و اشیاء: چهارمین سمپوزیوم بین المللی، FMCO 2005، آمستردام، هلند، 1-4 نوامبر 2005، سخنرانی های تجدید نظر شده
دانلود کتاب Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (به فارسی: روش های رسمی برای اجزا و اشیاء: چهارمین سمپوزیوم بین المللی، FMCO 2005، آمستردام، هلند، 1-4 نوامبر 2005، سخنرانی های تجدید نظر شده) نوشته شده توسط «Kung-Kiu Lau – Mario Ornaghi – Zheng Wang (auth.) – Frank S. de Boer – Marcello M. Bonsangue – Susanne Graf – Willem-Paul de Roever (eds.)» اطلاعات کتاب روش های رسمی برای اجزا و اشیاء: چهارمین سمپوزیوم بین المللی، FMCO 2005، آمستردام، هلند، 1-4 نوامبر 2005، سخنرانی های تجدید نظر شده…