نمایش سایدبار
نمایش 12 24 36 همه
DJVU

دانلود کتاب Formal Systems Specification: The RPC-Memory Specification Case Study

49,000 تومان
مشخصات سیستم های رسمی: مطالعه موردی مشخصات حافظه RPC
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 543
حجم فایل 4 مگابایت
کد کتاب 3540619844,9783540619840
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Modeling and Verification of Real-time Systems

49,000 تومان
مدل سازی و تایید سیستم های بلادرنگ
موضوع اصلی مهندسی
نوع کالا کتاب الکترونیکی
ناشر Wiley-ISTE
تعداد صفحه 395
حجم فایل 2.18 مگابایت
کد کتاب 1848210132 , 9781848210134
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Temporal Logic and State Systems

49,000 تومان
منطق زمانی و سیستم های حالت
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 445
حجم فایل 4 مگابایت
کد کتاب 3540674012,9783540674016
افزودن به سبد خرید