Higher order logic and hardware verification /

Bibliographic Details
Main Author:	Melham, T. F. (Tom F.)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1993.
Series:	Cambridge tracts in theoretical computer science ; 31.
Subjects:	Integrated circuits > Very large scale integration > Data processing. Logic, Symbolic and mathematical. Mathematical logic

Remote Storage