Application of formal methods to digital system design

Autor:	Herbert, J. M. J.
Rok vydání:	1986
Předmět:	005 Logic programming][Integrated circuits
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.233985 Zobrazit plný text záznamu