Developing a calculus for relating computer programs

Bibliographic Details
Main Author:	Harrison, M. D.
Published:	University of Oxford 1978
Subjects:	004.01
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.458374

Description
Description not available.

Similar Items