A calculus of total correctness for communicating processes /

A calculus of total correctness for communicating processes /

Saved in:
Bibliographic Details
Main Author: Hoare, C. A. R. (Charles Antony Richard)
Corporate Author: Oxford University Computing Laboratory. Programming Research Group
Format: Book
Language:English
Published: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
Series:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-23.
Subjects:
Machine theory.
Formal languages.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AI09B0 B04134
Copy 1 Available  Place a Hold

Similar Items