Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Higher order logic and hardware verification / T. Melham Monografia Publication Cambridge : Cambridge University Press, 1993 Description XIII, 165 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Theorem provers in circuit design : proceedings / International Conference... ; ed. V. Stavridou, T. F. Melham, R. T. Boute Monografia Publication Amsterdam : North-Holland, 1992 Description XI, 360 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart