Higher order logic and harware verification

• Κύριος συγγραφέας: Melham, T. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Cambridge University Press c1993
• Σειρά: Cambridge Tracts in Theoretical Computer Science 31
• Θέματα: HARWARE VERIFICATION; HIGHER ORDER LOGIC; HOL; ΕΠΕΑΕΚ
• Περιγραφή τεκμηρίου: bibl. references:pp.147-157
• Φυσική περιγραφή: xiii,165p. fig.
• ISBN: 0 521 41718 x