دانلود کتاب Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

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

زبان : English

نویسندگان : Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2004

ISBN (شابک) : 3540213775, 9783540213772, 9783540247562

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2999

تعداد صفحات : 548[554]

حجم : 10 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان