Temporal Type Theory
Temporal Type Theory
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2019
نویسنده
David I. Spivakناشر
Birkhäuserشابک
9783030007034
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران