Application of formal methods to digital system design
Main Author: | Herbert, J. M. J. |
---|---|
Published: |
University of Cambridge
1986
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233985 |
Similar Items
-
A formalism for representing qualified knowledge and its implementation for large knowledge bases
by: Jiang, Y. J.
Published: (1986) -
Logic programming as a formalism for specification and implementation of computer systems
by: Kusalik, Anthony Joseph
Published: (2010) -
Logic and objects : language, application and implementation
by: McCabe, Francis Gregory Christopher
Published: (1989) -
IKBS for real-time monitoring and control applications
by: Pokkunuri, Bhanu Prasad
Published: (1990) -
Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
Published: (1996)