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

Description
Physical Description:	xiii, 165 pages : illustrations ; 26 cm.
Bibliography:	Includes bibliographical references (pages [147]-157) and index.
ISBN:	052141718X :