دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Current Trends in Concurrency: Overviews and Tutorials
دانلود کتاب روندهای کنونی همزمانی: مروری و آموزش
مشخصات کتاب
Current Trends in Concurrency: Overviews and Tutorials
ویرایش: 1 نویسندگان: A. J. Nijman (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) سری: Lecture Notes in Computer Science 224 ISBN (شابک) : 354016488X, 9783540164883 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1986 تعداد صفحات: 728 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب روندهای کنونی همزمانی: مروری و آموزش: تکنیک های برنامه نویسی، منطق و معانی برنامه ها، مدل ها و اصول
در صورت تبدیل فایل کتاب Current Trends in Concurrency: Overviews and Tutorials به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای کنونی همزمانی: مروری و آموزش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Computer science in industry....Pages VI-XII
Dataflow and education: Data-driven and demand-driven distributed computation....Pages 1-50
Contrasting themes in the semantics of imperative concurrency....Pages 51-121
Functional programming and the language tale....Pages 122-207
Design, specification and validation of hierarchies of protocols in distributed systems....Pages 208-265
Infinitary languages: Basic theory and applications to concurrent systems....Pages 266-342
The quest goes on: A survey of proofsystems for partial correctness of CSP....Pages 343-395
Logic programming: The foundations, the approach and the role of concurrency....Pages 396-441
Process theory: Semantics, specification and verification....Pages 442-509
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends....Pages 510-584
Petri nets: Basic notions, structure, behaviour....Pages 585-668
Concepts for concurrent programming....Pages 669-716
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Spherical Harmonics and Approximations on the Unit Sphere: An Introduction
دانلود کتاب Guida all'Italia - leggendaria misteriosa insolita fantastica
دانلود کتاب Tourist Experience and Fulfilment: Insights from Positive Psychology
دانلود کتاب FastTrack Bass Method 1 - Spanish Edition: FastTrack Bajo 1
