Z for concurrent systems

Bibliographic Details
Main Author:	Evans, Andrew Stephen
Published:	Leeds Beckett University 1996
Subjects:	005 Formal methods
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309794

Similar Items