Static timing analysis and program proof

Autor:	Chapman, Roderick
Rok vydání:	1995
Předmět:	005 Computer software & programming
Druh dokumentu:	Electronic Thesis or Dissertation
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261100 Zobrazit plný text záznamu