بلیان

چه کسانی این کتاب را می‌خوانند

دانشجوعلاقه‌مند یادگیری
کتابخوان حرفه‌ایلذت مطالعه
نویسندهالهام‌گیری

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

A. J. Nijman (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف
  • تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی

مشخصات کتاب

نویسنده
A. J. Nijman (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
ناشر
Springer-Verlag Berlin Heidelberg
سال انتشار
۱۹۸۶
فرمت
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

کتاب‌های مشابه

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Complexity Of Constraints: An Overview Of Current Research Themes (lecture Notes In Computer Science)

Complexity Of Constraints: An Overview Of Current Research Themes (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science, 3778)

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science, 3778)

۴۹٬۰۰۰ تومان

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science, 3778)

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science, 3778)

۴۹٬۰۰۰ تومان

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science, 3778)

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (Lecture Notes in Computer Science, 3778)

۴۹٬۰۰۰ تومان

Complexity of Constraints: An Overview of Current Research Themes (Lecture Notes in Computer Science, 5250)

Complexity of Constraints: An Overview of Current Research Themes (Lecture Notes in Computer Science, 5250)

۴۹٬۰۰۰ تومان

Performance Engineering: State of the Art and Current Trends (Lecture Notes in Computer Science, 2047)

Performance Engineering: State of the Art and Current Trends (Lecture Notes in Computer Science, 2047)

۴۹٬۰۰۰ تومان

Performance Engineering: State of the Art and Current Trends (Lecture Notes in Computer Science, 2047)

Performance Engineering: State of the Art and Current Trends (Lecture Notes in Computer Science, 2047)

۴۹٬۰۰۰ تومان

Modern Cryptology: A Tutorial (Lecture Notes in Computer Science (325))

Modern Cryptology: A Tutorial (Lecture Notes in Computer Science (325))

۴۹٬۰۰۰ تومان

Modern Cryptology: A Tutorial (Lecture Notes in Computer Science (325))

Modern Cryptology: A Tutorial (Lecture Notes in Computer Science (325))

۴۹٬۰۰۰ تومان

Search Computing: Trends and Developments (Lecture Notes in Computer Science (6585))

Search Computing: Trends and Developments (Lecture Notes in Computer Science (6585))

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان