Higher order logic and harware verification

• Main Author: Melham, T. (Author)
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press c1993
• Series: Cambridge Tracts in Theoretical Computer Science 31
• Subjects: HARWARE VERIFICATION; HIGHER ORDER LOGIC; HOL; ΕΠΕΑΕΚ
• Item Description: bibl. references:pp.147-157
• Physical Description: xiii,165p. fig.
• ISBN: 0 521 41718 x