Algebraic semantics for total correctness and fairness / by David L. Black.

Saved in:

Bibliographic Details
Main Author:	Black, David L.
Format:	Thesis Book
Language:	English
Published:	1990.
Subjects:	Semantics > Mathematical models. Calculus of operations. Rings (Algebra) Calculus, Operational. Theses > CU Boulder > Computer Science.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	T 1990 .B562
T 1990 .B562	Available Place a Hold