unuiist
روشهای رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد UNU/IIST، مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد، لیسبون، پرتغال، 18 تا 20 مارس 2002. مقالات تجدید نظر شده
دانلود کتاب 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. مقالات تجدید نظر شده) نوشته شده توسط «Tom Maibaum (auth.) – Bernhard K. Aichernig – Tom Maibaum (eds.)» اطلاعات کتاب روشهای رسمی در تقاطع از نوش دارو تا حمایت بنیادی: کنفرانس دهمین سالگرد…