دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
دانلود کتاب کارگاه IV درجه عالی، بنف 1990: مجموعه مقالات کارگاه IV درجه عالی، بنف، آلبرتا، کانادا 10-14 سپتامبر 1990
مشخصات کتاب
IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
ویرایش: 1 نویسندگان: F. Warren Burton, W. Ken Jackson (auth.), Graham Birtwistle BSc, PhD, DSc (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540196600, 9781447131823 ناشر: Springer-Verlag London سال نشر: 1991 تعداد صفحات: 294 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب کارگاه IV درجه عالی، بنف 1990: مجموعه مقالات کارگاه IV درجه عالی، بنف، آلبرتا، کانادا 10-14 سپتامبر 1990: منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کارگاه IV درجه عالی، بنف 1990: مجموعه مقالات کارگاه IV درجه عالی، بنف، آلبرتا، کانادا 10-14 سپتامبر 1990 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-x
Partially Deterministic Functions....Pages 1-10
Nondeterministic Functional Programming with Sets....Pages 11-31
Process Algebra as a Tool for Real Time Analysis....Pages 32-53
The study of butterflies....Pages 54-65
Sorts of butterflies....Pages 66-76
A fast flutter by the Fourier transform....Pages 77-84
Parallel Computations and Delay-Insensitive Circuits....Pages 85-104
The Nature of Delay-Insensitive Computing....Pages 105-122
A Higher Order Logic Mechanization of the CSP Failure-Divergence Semantics....Pages 123-150
Partial Functions, Ordered Categories, Limits and Cartesian Closure....Pages 151-161
Evaluation Logic....Pages 162-189
Conditional Control is not quite Categorical Control....Pages 190-217
Simple Type Theory in EVES....Pages 218-244
Formal Synthesis....Pages 245-264
Proving (facts about) Ruby....Pages 265-283
Back Matter....Pages 285-285
