کتاب Temporal Type Theory اثر David I. Spivak انتشارات Springer
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
کتاب نظریه نوع زمانی (Temporal Type Theory) نوشته دیوید آی. اسپیواک (David I. Spivak) در سال 2020 منتشر شده است. این کتاب به معرفی نظریه نوع زمانی به عنوان یک سیستم نوع‌دهی برای زبان‌های برنامه‌نویسی می‌پردازد که مفهوم زمان را در نظر می‌گیرد. نظریه نوع زمانی امکان توصیف دقیق زمان وابسته به نوع را فراهم می‌کند. این کتاب ضمن مقدمه‌ای بر این نظریه، کاربردهای آن را در زمینه‌هایی مانند برنامه‌نویسی همزمان و هوش مصنوعی بررسی می‌کند.
نویسنده
David I. Spivak
ناشر
Springer
شابک
9783030007034
موضوع
نظریه نوع، برنامه‌نویسی، هوش مصنوعی
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
244
گروه سنی
بزرگسال
وزن
244 گرم
