دانلود کتاب 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

دانلود کتاب 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

نویسنده: Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

شماره سریال: ۹۷۸۳۵۴۰۴۲۴۷۹۶

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۱

نسخه ناشر (کیفیت اصلی)

purpleribbon save

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۴ مگابایت

تعداد صفحات

۴۳۷.۰

قیمت کتاب: ۷۳,۹۰۰ تومان

توضیحات

معرفی کتاب 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

کتاب 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 نوشته Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب 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

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب 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 را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
Computer science illuminated image
Computer science illuminated
نویسنده:

Nell Dale

سال انتشار:

۲۰۰۲

A Computer-Based Approach... image
A Computer-Based Approach Digital Signal Processing
نویسنده:

Sanjit K. Mitra

سال انتشار:

None

Computer Architecture: A... image
Computer Architecture: A Quantitative Approach, ۴th Edition
نویسنده:

John L. Hennessy,...

سال انتشار:

۲۰۰۶

مشاهده تمامی کتاب ها

نوشتن دیدگاه
CAPTCHA
حذف
دیدگاه های شما دیدگاهی وجود ندارد