boppard
روشهای رسمی کاربردی — FM-Trends 98: کارگاه بینالمللی درباره روندهای فعلی در روشهای رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات
دانلود کتاب Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings (به فارسی: روشهای رسمی کاربردی — FM-Trends 98: کارگاه بینالمللی درباره روندهای فعلی در روشهای رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات) نوشته شده توسط «Egon Börger (auth.) – Dieter Hutter – Werner Stephan – Paolo Traverso – Markus Ullmann (eds.)» اطلاعات کتاب روشهای رسمی کاربردی — FM-Trends 98: کارگاه بینالمللی درباره روندهای فعلی در روشهای رسمی کاربردی Boppard، آلمان، 7-9 اکتبر 1998 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…