دانلود کتاب Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
by Sylvain Boulmé (auth.)
|
عنوان فارسی: روش دقیق برای نرم افزار ساخت و ساز و تجزیه و تحلیل: مقاله ای در به مناسبت تولد 60 او به Egon بورگر اختصاصی |