Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes

عرض إصدارات أخرى (1)
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Chaochen, Z, Hoare, C
التنسيق: Conference item
منشور في: IEEE 2015
Search Result 1
Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes حسب Zhou, C, Hoare, C

منشور في 1981
Record
عرض كل الإصدارات (2)

مواد مشابهة