Refine Your Search
Book List
1
-
Higher order logic and hardware verification / T. Melham.
- 621.395 M521
- Melham, T. F.
- Cambridge University Press,
- c1993.
- Cambridge ; New York :