دانلود کتاب 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
زبان : English
نویسندگان : Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1999
ISBN (شابک) : 3540664629), 3540664629
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1641
تعداد صفحات : 384[391]
حجم : 22 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان