نرم افزار: سیستم ها: محاسبات علمی

منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود

Temporal Logics in Computer Science. Finite-State Systems

دانلود کتاب Temporal Logics in Computer Science. Finite-State Systems (به فارسی: منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود) نوشته شده توسط «Stéphane Demri – Valentin Goranko – Martin Lange»


اطلاعات کتاب منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: Stéphane Demri – Valentin Goranko – Martin Lange

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2016

تعداد صفحه: 744

حجم فایل: 8.32 مگابایت

کد کتاب: 1107028361 , 9781107028364

دانلود کتاب «منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

دیدگاهتان را بنویسید