دانلود کتاب The Temporal Logic of Reactive and Concurrent Systems: Specification
کتاب منطق زمانی سیستم های واکنشی و همزمان: مشخصات نسخه زبان اصلی
دانلود کتاب منطق زمانی سیستم های واکنشی و همزمان: مشخصات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب The Temporal Logic of Reactive and Concurrent Systems: Specification
نام کتاب : The Temporal Logic of Reactive and Concurrent Systems: Specification
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : منطق زمانی سیستم های واکنشی و همزمان: مشخصات
سری :
نویسندگان : Zohar Manna, Amir Pnueli
ناشر : Springer
سال نشر : 1991
تعداد صفحات : 443
ISBN (شابک) : 0387976647 , 9780387976648
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.