Higher order logic and hardware verification / T. Melham.
Saved in:
Main Author: | Melham, T. F. (Tom F.) |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
1993.
|
Series: | Cambridge tracts in theoretical computer science ;
31 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Introduction to HOL : a theorem proving environment for higher order logic / edited by M.J.C. Gordon and T.F. Melham.
Published: (1993) -
Specification and verification of network algorithms using temporal logic
by: Ra'Ed Bani-Abdelrahman
Published: (2018) -
Introduction to higher order categorical logic / J. Lambek, P.J. Scott.
by: Lambek, Joachim
Published: (1986) -
A critical review of number order judgements and arithmetic: What do order verification tasks actually measure?
by: Declan Devlin, et al.
Published: (2022) -
Professional verification : the guide to advanced functional verification / Paul Wilcox.
by: Wilcox, Paul
Published: (2004)