دانلود کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
by Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
|
عنوان فارسی: مقالات November2 ، 2004 ، تجدید نظر انتخاب شده - اولین سمپوزیوم بین المللی ، Isola از سال 2004، پافوس، قبرس ، 30 اکتبر : نرم افزار اعمال نفوذ از روش های رسمی |