دانلود کتاب Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
by Ulrich Herzog (auth.)
|
عنوان فارسی: سخنرانی در روش های رسمی و PerformanceAnalysis: اول EEF / یورو مدرسه تابستانی در روند در علوم کامپیوتر برگن دال، هلند، 3-7 ژوئیه، 2000 سخنرانی تجدید نظر |