A calculus of total correctness for communicating processes /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Hoare, C. A. R. (Charles Antony Richard)
Awdur Corfforaethol: Oxford University Computing Laboratory. Programming Research Group
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
Cyfres:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-23.
Pynciau:

CARM 1 Store

Manylion daliadau o CARM 1 Store
Rhif Galw: A2:AI09B0 B04134
Copi 1 Ar gael  Gwneud Cais