Programming in temporal logic

Bibliographic Details
Main Author:	Hale, Roger William Stephen
Published:	University of Cambridge 1988
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467

Description
Description not available.

Similar Items