1
منشور في 2014
جدول المحتويات: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2015
جدول المحتويات: ... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2010
جدول المحتويات: ... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2007
جدول المحتويات: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
احصل على النص الكامل
الكتروني كتاب الكتروني