COMX : a methodology for the formal design of computer systems using communicating X-machines

Bibliographic Details
Main Author: Barnard, Judith
Published: Staffordshire University 1996
Subjects:
005
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321410
Description
Description not available.