Partial Correctness of Communicating Processes and Protocols

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Hoare, C, Chaochen, Z
Ձևաչափ:	Report
Հրապարակվել է:	Oxford University Computing Laboratory‚ Programming Research Group 1981

Նմանատիպ նյութեր