A calculus of total correctness for communicating processes /

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Hoare, C. A. R. (Charles Antony Richard)
مؤلف مشترك:	Oxford University Computing Laboratory. Programming Research Group
التنسيق:	كتاب
اللغة:	English
منشور في:	Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
سلاسل:	Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-23.
الموضوعات:	Machine theory. Formal languages.

الوصف
وصف مادي:	31 p. : ill. ; 21 cm.
بيبلوغرافيا:	Includes bibliographical references.

مواد مشابهة