دانلود کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
روشهای رسمی یکپارچه: ششمین کنفرانس بین المللی ، IFM 2007 ، آکسفورد ، انگلستان ، 2-5 ژوئیه 2007. مجموعه مقالات
زبان : English
نویسندگان : Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540732098, 9783540732099
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4591
تعداد صفحات : 662[668]
حجم : 6 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان