Partial Correctness of Communicating Processes and Protocols

ग्रंथसूची विवरण
मुख्य लेखकों: Hoare, C, Chaochen, Z
स्वरूप: Report
प्रकाशित: Oxford University Computing Laboratory‚ Programming Research Group 1981

समान संसाधन