دانلود کتاب Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

روش های رسمی در چهارراه. از پاناسه تا حمایت بنیادی: دهمین کنفرانس سالگرد UNU / IIST ، انستیتوی بین المللی فناوری نرم افزار از دانشگاه ملل متحد ، لیسبون ، پرتغال ، 18 تا 20 مارس 2002. مقالات اصلاح شده

زبان : English

نویسندگان : Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540205276, 9783540205272

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

سری : Lecture Notes in Computer Science 2757

تعداد صفحات : 462[468]

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

فرمت کتاب : pdf

قیمت : 36000 تومان