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

جبرهای فورک در جبر، منطق و علوم کامپیوتر

Fork Algebras in Algebra, Logic and Computer Science

دانلود کتاب Fork Algebras in Algebra, Logic and Computer Science (به فارسی: جبرهای فورک در جبر، منطق و علوم کامپیوتر) نوشته شده توسط «Marcelo Fabian Frias»

اطلاعات کتاب جبرهای فورک در جبر، منطق و علوم کامپیوتر

موضوع اصلی: منطق

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

ناشر: World Scientific

نویسنده: Marcelo Fabian Frias

زبان: English

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

سال انتشار: 2002

تعداد صفحه: 230

حجم کتاب: 2 مگابایت

کد کتاب: 9789810248765 , 9810248768 , 9789812777928

توضیحات کتاب جبرهای فورک در جبر، منطق و علوم کامپیوتر

گزارش دقیقی از نتایج ارائه می دهد و برخی از کاربردهای جبر فورک را در علوم کامپیوتر، به ویژه در مشخصات سیستم و ساخت برنامه ارائه می دهد. تمام موارد ضروری را پوشش می دهد تا خواننده را با درک بهتری آشنا کند.

Gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Covers all the essentials in order to provide the reader with a better understanding.

دانلود کتاب «جبرهای فورک در جبر، منطق و علوم کامپیوتر»

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

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

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