Partial Correctness of Communicating Processes and Protocols

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Hoare, C, Chaochen, Z
Μορφή: Report
Έκδοση: Oxford University Computing Laboratory‚ Programming Research Group 1981

Παρόμοια τεκμήρια